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

41At riskhealth 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 · TeX · TypeScript★ 715Jul 21, 2026

No licenseJul 21, 2026 · metrics 1.13.0