Apppublic

Snapkitty/quantum-computing

sourceHugging Faceagpl-3.0updated 19h agoView on Hugging Face

0likes

App README

🔬 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.

[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license) · A.parr@belespritdaccord.uk