Snapkitty/cpsc-qft-paper
Viewer • Updated • 1.49k • 197
Flagship releases · October 2026
Start here: our most-used releases, each with evidence you can check. Feedback welcome in each repo's Discussions.
Note New paper (DOI 10.5281/zenodo.23287576) with Lean proofs and a reproducible axiom audit.
Snapkitty/hilbert-4b-baseline-GGUF
Text Generation • 4B • Updated • 164Note Q8_0 matches BF16 on 99.3% of decisions, measured row by row.
Snapkitty/toolgate-bench
Viewer • Updated • 96 • 116 • 1Note Tool-call gating benchmark for LLM agents, with a frozen held-out split.
Snapkitty/snapkitty-nemotron-harness
UpdatedNote Fail-closed tool gate: 0% unsafe passes on ToolGate-Bench v1.
Snapkitty/devflow-finance-twin
Updated • 265Note IBM i banking ledger twin: DB2, RPGLE, COBOL and C#.
Snapkitty/symbolic-morphology
UpdatedNote Latin morphology with no ML framework; independently reproduced.
Snapkitty/cpsc-qft
UpdatedNote Code for the CPSC paper: compiler, certificates and Lean development.