Spaces:
Running
Running
File size: 16,868 Bytes
6232547 dae6143 6232547 dae6143 29034a9 6232547 7f9f080 6232547 7f9f080 6232547 7f9f080 6232547 7f9f080 6232547 7f9f080 6232547 7f9f080 6232547 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 | <!doctype html>
<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 15 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="cpsc-qft conservation-preserving scattering compiler: proof-carrying lattice scattering for 1+1d scalar field theory. ruby python lean4 model cpsc-escl / agpl-3.0">
<div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">CPSC-ESCL / AGPL-3.0</span></div>
<h3><a href="https://huggingface.co/Snapkitty/cpsc-qft">cpsc-qft</a></h3>
<p>Conservation-Preserving Scattering Compiler: proof-carrying lattice scattering for 1+1D scalar field theory.</p>
<div class="card-foot"><div class="tags"><span class="tag">ruby</span><span class="tag">python</span><span class="tag">lean4</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/cpsc-qft">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/cpsc-qft">GitHub</a></div></div>
</article>
<article class="card" data-kind="model" data-new="true" data-search="goldilocks-controlled-reduce openqasm 3 controlled add-constant for goldilocks-field reduction with two clean ancillas, checked in lean 4. openqasm lean4 python 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/goldilocks-controlled-reduce">goldilocks-controlled-reduce</a></h3>
<p>OpenQASM 3 controlled add-constant for Goldilocks-field reduction with two clean ancillas, checked in Lean 4.</p>
<div class="card-foot"><div class="tags"><span class="tag">openqasm</span><span class="tag">lean4</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/goldilocks-controlled-reduce">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/goldilocks-controlled-reduce">GitHub</a></div></div>
</article>
<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="defective security advisory snapkitty-sa-2026-001 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" style="background:#fee2e2;color:#b91c1c">Defective</span><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>Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). P3Q-TLM: an F2^8 pipeline with Lean files 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/datasets/Snapkitty/tlm-p3-gate/blob/main/SECURITY-ADVISORY.md">Advisory</a><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="defective security advisory snapkitty-sa-2026-001 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" style="background:#fee2e2;color:#b91c1c">Defective</span><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>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.</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/datasets/Snapkitty/tlm-p3-gate/blob/main/SECURITY-ADVISORY.md">Advisory</a><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="defective security advisory snapkitty-sa-2026-001 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" style="background:#fee2e2;color:#b91c1c">Defective</span><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>DEFECTIVE, do not use (SNAPKITTY-SA-2026-001): gate-level AES MixColumns that does not compute AES; tests and Lean proofs do not hold.</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/blob/main/SECURITY-ADVISORY.md">Advisory</a><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>
|