Spaces:
Running
Running
metadata
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 · SnapKitty home
| Repository | What it is |
|---|---|
| tlm-jxcl-forge | TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges. |
| black-hole-engine | Computational engine for black hole physics. Hawking temperature, ISCO, photon sphere proofs. |
| black-hole-entropy-spiral | Logarithmic-spiral detection in synthetic black-hole entropy matrices. |
| p3q-tsql | P3Q-TLM: an F2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation. |
| quantum-kernel | Quantum computational kernel. TDA-to-braid-to-lattice surgery pipeline for heavy-hex hardware. |
| quantumap | Quantum-enhanced UMAP dimensionality reduction with topological data analysis. |
| reverse-quantum-walk | Reverse quantum walk implementation for search and optimization on graph structures. |
| snapkitty-resonance-bridge | Executable bridge: GKN quartic invariant to SUBLEQ machine code via ResonanceWord encoding. |
| sovereign-pirtm | C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen. |
| tlm-jxcl | JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral memory addressing. |
| tlm-p3-gate | TLM P3 gate-level dataset for the classical-quantum interface. |
| tlm-quantum | Recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over GF(2^8). |
| 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. 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.