Snapkitty/quantum-computing

1---2title: Quantum Computing and Physics3emoji: 🔬4colorFrom: purple5colorTo: indigo6sdk: static7pinned: false8short_description: Quantum walks, TLM/JXCL and physics engines9license: agpl-3.010tags:11- snapkitty12---13 14# 🔬 Quantum Computing and Physics15 16Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics.17 18**13 repositories** · [Browse the interactive page](https://huggingface.co/spaces/Snapkitty/quantum-computing) · [SnapKitty home](https://huggingface.co/Snapkitty)19 20| Repository | What it is |21|---|---|22| [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. |23| [black-hole-engine](https://huggingface.co/Snapkitty/black-hole-engine) | Computational engine for black hole physics. Hawking temperature, ISCO, photon sphere proofs. |24| [black-hole-entropy-spiral](https://huggingface.co/Snapkitty/black-hole-entropy-spiral) | Logarithmic-spiral detection in synthetic black-hole entropy matrices. |25| [p3q-tsql](https://huggingface.co/Snapkitty/p3q-tsql) | P3Q-TLM: an F2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation. |26| [quantum-kernel](https://huggingface.co/Snapkitty/quantum-kernel) | Quantum computational kernel. TDA-to-braid-to-lattice surgery pipeline for heavy-hex hardware. |27| [quantumap](https://huggingface.co/Snapkitty/quantumap) | Quantum-enhanced UMAP dimensionality reduction with topological data analysis. |28| [reverse-quantum-walk](https://huggingface.co/Snapkitty/reverse-quantum-walk) | Reverse quantum walk implementation for search and optimization on graph structures. |29| [snapkitty-resonance-bridge](https://huggingface.co/Snapkitty/snapkitty-resonance-bridge) | Executable bridge: GKN quartic invariant to SUBLEQ machine code via ResonanceWord encoding. |30| [sovereign-pirtm](https://huggingface.co/Snapkitty/sovereign-pirtm) | C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen. |31| [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. |32| [tlm-p3-gate](https://huggingface.co/datasets/Snapkitty/tlm-p3-gate) | TLM P3 gate-level dataset for the classical-quantum interface. |33| [tlm-quantum](https://huggingface.co/Snapkitty/tlm-quantum) | Recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over GF(2^8). |34| [topological-quantum-computer](https://huggingface.co/Snapkitty/topological-quantum-computer) | Fibonacci-anyon topological quantum computing. Lean 4 proofs, SHA-520 cryptanalysis resource estimation. |35 36## License37 38Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE). Each listed repository carries its own license in its card.39 40### 💼 Commercial License41 42SnapKitty 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.43 44**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license)** · A.parr@belespritdaccord.uk45