Spaces:
Running
Running
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <title>Quantum Computing and Physics · SnapKitty</title> | |
| <meta name="description" content="Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics."> | |
| <link rel="preconnect" href="https://fonts.googleapis.com"><link rel="preconnect" href="https://fonts.gstatic.com" crossorigin><link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@500&display=swap" rel="stylesheet"> | |
| <link rel="stylesheet" href="style.css"> | |
| </head> | |
| <body> | |
| <header class="topbar"><a class="brand" href="https://huggingface.co/spaces/Snapkitty/README">🐈 SnapKitty</a><a class="back" href="https://huggingface.co/Snapkitty">All collections</a></header> | |
| <main class="wrap"> | |
| <section class="hero"> | |
| <div class="eyebrow">🔬 Collection</div> | |
| <h1>Quantum Computing and Physics</h1> | |
| <p class="lede">Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics.</p> | |
| </section> | |
| <div class="toolbar"> | |
| <input id="q" type="search" placeholder="Search 13 repositories" aria-label="Search repositories"> | |
| <div class="chips"><button class="chip" data-mode="all" aria-pressed="true">All</button><button class="chip" data-mode="new" aria-pressed="false">New</button><button class="chip" data-mode="model" aria-pressed="false">Models</button><button class="chip" data-mode="dataset" aria-pressed="false">Datasets</button></div> | |
| <span id="count" class="count"></span> | |
| </div> | |
| <section class="grid"> | |
| <article class="card" data-kind="model" data-new="true" data-search="tlm-jxcl-forge tlm/jxcl twin: a 100+ crate rust workspace with alloy and lean 4 verification forges. rust lean4 alloy model agpl-3.0"> | |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/tlm-jxcl-forge">tlm-jxcl-forge</a></h3> | |
| <p>TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">rust</span><span class="tag">lean4</span><span class="tag">alloy</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/tlm-jxcl-forge">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/tlm-jxcl-forge">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="black-hole-engine computational engine for black hole physics. hawking temperature, isco, photon sphere proofs. python lean4 model snapkitty"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">SnapKitty</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/black-hole-engine">black-hole-engine</a></h3> | |
| <p>Computational engine for black hole physics. Hawking temperature, ISCO, photon sphere proofs.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span><span class="tag">lean4</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/black-hole-engine">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/black-hole-engine">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="black-hole-entropy-spiral logarithmic-spiral detection in synthetic black-hole entropy matrices. python model agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/black-hole-entropy-spiral">black-hole-entropy-spiral</a></h3> | |
| <p>Logarithmic-spiral detection in synthetic black-hole entropy matrices.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/black-hole-entropy-spiral">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/black-hole-entropy-spiral">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="p3q-tsql p3q-tlm: an f2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation. t-sql lean4 model agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/p3q-tsql">p3q-tsql</a></h3> | |
| <p>P3Q-TLM: an F2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">t-sql</span><span class="tag">lean4</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/p3q-tsql">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/p3q-tsql">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="quantum-kernel quantum computational kernel. tda-to-braid-to-lattice surgery pipeline for heavy-hex hardware. python qiskit model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/quantum-kernel">quantum-kernel</a></h3> | |
| <p>Quantum computational kernel. TDA-to-braid-to-lattice surgery pipeline for heavy-hex hardware.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span><span class="tag">qiskit</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/quantum-kernel">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/quantum-kernel">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="quantumap quantum-enhanced umap dimensionality reduction with topological data analysis. python model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/quantumap">quantumap</a></h3> | |
| <p>Quantum-enhanced UMAP dimensionality reduction with topological data analysis.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/quantumap">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/quantumap">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="reverse-quantum-walk reverse quantum walk implementation for search and optimization on graph structures. python model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/reverse-quantum-walk">reverse-quantum-walk</a></h3> | |
| <p>Reverse quantum walk implementation for search and optimization on graph structures.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/reverse-quantum-walk">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/reverse-quantum-walk">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="snapkitty-resonance-bridge executable bridge: gkn quartic invariant to subleq machine code via resonanceword encoding. python asm model sovereign source"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/snapkitty-resonance-bridge">snapkitty-resonance-bridge</a></h3> | |
| <p>Executable bridge: GKN quartic invariant to SUBLEQ machine code via ResonanceWord encoding.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">python</span><span class="tag">asm</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/snapkitty-resonance-bridge">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/snapkitty-resonance-bridge">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-pirtm c++ compiler core with mlir dialect, multiplicity functor, contractivity receipts, llvm codegen. c++ mlir model agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-pirtm">sovereign-pirtm</a></h3> | |
| <p>C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">c++</span><span class="tag">mlir</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-pirtm">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-pirtm">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="tlm-jxcl jxcl: the 64-bit isa for the tlm pipeline, with gf(2^8) arithmetic and logarithmic-spiral memory addressing. vhdl rust model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/tlm-jxcl">tlm-jxcl</a></h3> | |
| <p>JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral memory addressing.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">vhdl</span><span class="tag">rust</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/tlm-jxcl">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/tlm-jxcl">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="dataset" data-new="false" data-search="tlm-p3-gate tlm p3 gate-level dataset for the classical-quantum interface. vhdl dataset agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">dataset</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate">tlm-p3-gate</a></h3> | |
| <p>TLM P3 gate-level dataset for the classical-quantum interface.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">vhdl</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate">Hugging Face</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="tlm-quantum recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over gf(2^8). algol python model agpl-3.0"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/tlm-quantum">tlm-quantum</a></h3> | |
| <p>Recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over GF(2^8).</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">algol</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/tlm-quantum">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/tlm-quantum">GitHub</a></div></div> | |
| </article> | |
| <article class="card" data-kind="model" data-new="false" data-search="topological-quantum-computer fibonacci-anyon topological quantum computing. lean 4 proofs, sha-520 cryptanalysis resource estimation. lean4 python model tri-license"> | |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> | |
| <h3><a href="https://huggingface.co/Snapkitty/topological-quantum-computer">topological-quantum-computer</a></h3> | |
| <p>Fibonacci-anyon topological quantum computing. Lean 4 proofs, SHA-520 cryptanalysis resource estimation.</p> | |
| <div class="card-foot"><div class="tags"><span class="tag">lean4</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/topological-quantum-computer">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/topological-quantum-computer">GitHub</a></div></div> | |
| </article> | |
| </section> | |
| <section class="commercial"> | |
| <div> | |
| <h2>Commercial license</h2> | |
| <p>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.</p> | |
| </div> | |
| <a class="btn" href="mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license">Get a commercial license</a> | |
| </section> | |
| </main> | |
| <footer class="footer"> | |
| <span>© 2026 Snapkitty Collective LLC</span> | |
| <span><a href="https://huggingface.co/Snapkitty">huggingface.co/Snapkitty</a> · <a href="mailto:A.parr@belespritdaccord.uk">A.parr@belespritdaccord.uk</a></span> | |
| </footer> | |
| <script> | |
| (() => { | |
| const q = document.getElementById('q'), chips = [...document.querySelectorAll('.chip')], cards = [...document.querySelectorAll('.card')]; | |
| const count = document.getElementById('count'); let mode = 'all'; | |
| function apply() { | |
| const term = (q.value || '').trim().toLowerCase(); let n = 0; | |
| for (const c of cards) { | |
| const okMode = mode === 'all' || (mode === 'new' ? c.dataset.new === 'true' : c.dataset.kind === mode); | |
| const ok = okMode && (!term || c.dataset.search.includes(term)); | |
| c.hidden = !ok; if (ok) n++; | |
| } | |
| count.textContent = n + (n === 1 ? ' repository' : ' repositories'); | |
| } | |
| q.addEventListener('input', apply); | |
| chips.forEach(ch => ch.addEventListener('click', () => { chips.forEach(x => x.setAttribute('aria-pressed', 'false')); ch.setAttribute('aria-pressed', 'true'); mode = ch.dataset.mode; apply(); })); | |
| apply(); | |
| })(); | |
| </script> | |
| </body> | |
| </html> | |