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