Catalogue tag

#standard-model

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

1 record

Tagged “standard-model”Ranked by health index

npm · PyPI

42Weakhealth index

sthamann/tfpt

Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.

Python★ 473Sep 12, 2026

No licenseSep 12, 2026 · metrics 2.10.0