Spaces:
Running
Running
File size: 3,311 Bytes
bca9985 6232547 bca9985 6232547 bca9985 6232547 bca9985 6232547 bca9985 6232547 bca9985 6232547 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | ---
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
|