NewmodelCPSC-ESCL / AGPL-3.0
cpsc-qft
Conservation-Preserving Scattering Compiler: proof-carrying lattice scattering for 1+1D scalar field theory.
🔬 Collection
Quantum Computing and Physics
Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics.
NewmodelAGPL-3.0
goldilocks-controlled-reduce
OpenQASM 3 controlled add-constant for Goldilocks-field reduction with two clean ancillas, checked in Lean 4.
NewmodelAGPL-3.0
tlm-jxcl-forge
TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges.
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.
DefectivemodelAGPL-3.0
p3q-tsql
Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). P3Q-TLM: an F2^8 pipeline with Lean files 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.
DefectivemodelTri-License
tlm-jxcl
Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral addressing.
DefectivedatasetAGPL-3.0
tlm-p3-gate
DEFECTIVE, do not use (SNAPKITTY-SA-2026-001): gate-level AES MixColumns that does not compute AES; tests and Lean proofs do not hold.
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.