Spaces:
Running
Running
| title: Quantum Computing and Physics | |
| emoji: 🔬 | |
| colorFrom: purple | |
| colorTo: indigo | |
| sdk: static | |
| pinned: false | |
| short_description: Quantum walks, TLM/JXCL and physics engines | |
| license: agpl-3.0 | |
| tags: | |
| - snapkitty | |
| # 🔬 Quantum Computing and Physics | |
| Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics. | |
| **13 repositories** · [Browse the interactive page](https://huggingface.co/spaces/Snapkitty/quantum-computing) · [SnapKitty home](https://huggingface.co/Snapkitty) | |
| | Repository | What it is | | |
| |---|---| | |
| | [tlm-jxcl-forge](https://huggingface.co/Snapkitty/tlm-jxcl-forge) | TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges. | | |
| | [black-hole-engine](https://huggingface.co/Snapkitty/black-hole-engine) | Computational engine for black hole physics. Hawking temperature, ISCO, photon sphere proofs. | | |
| | [black-hole-entropy-spiral](https://huggingface.co/Snapkitty/black-hole-entropy-spiral) | Logarithmic-spiral detection in synthetic black-hole entropy matrices. | | |
| | [p3q-tsql](https://huggingface.co/Snapkitty/p3q-tsql) | P3Q-TLM: an F2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation. | | |
| | [quantum-kernel](https://huggingface.co/Snapkitty/quantum-kernel) | Quantum computational kernel. TDA-to-braid-to-lattice surgery pipeline for heavy-hex hardware. | | |
| | [quantumap](https://huggingface.co/Snapkitty/quantumap) | Quantum-enhanced UMAP dimensionality reduction with topological data analysis. | | |
| | [reverse-quantum-walk](https://huggingface.co/Snapkitty/reverse-quantum-walk) | Reverse quantum walk implementation for search and optimization on graph structures. | | |
| | [snapkitty-resonance-bridge](https://huggingface.co/Snapkitty/snapkitty-resonance-bridge) | Executable bridge: GKN quartic invariant to SUBLEQ machine code via ResonanceWord encoding. | | |
| | [sovereign-pirtm](https://huggingface.co/Snapkitty/sovereign-pirtm) | C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen. | | |
| | [tlm-jxcl](https://huggingface.co/Snapkitty/tlm-jxcl) | JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral memory addressing. | | |
| | [tlm-p3-gate](https://huggingface.co/datasets/Snapkitty/tlm-p3-gate) | TLM P3 gate-level dataset for the classical-quantum interface. | | |
| | [tlm-quantum](https://huggingface.co/Snapkitty/tlm-quantum) | Recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over GF(2^8). | | |
| | [topological-quantum-computer](https://huggingface.co/Snapkitty/topological-quantum-computer) | Fibonacci-anyon topological quantum computing. Lean 4 proofs, SHA-520 cryptanalysis resource estimation. | | |
| ## License | |
| Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE). Each listed repository carries its own license in its card. | |
| ### 💼 Commercial License | |
| SnapKitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations. | |
| **[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license)** · A.parr@belespritdaccord.uk | |