AlphaUncommon
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.
- Owner
- sthamann (personal account)
- Stars
- Stars: 445
- Forks
- Forks: 1
- Language
- Python
- License
- None
- Created
- 2026
- Topics
- cosmologylatexlean4mathematical-physicsnextjsparticle-physicspythonreproducible-researchstandard-modeltheoretical-physics
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by sthamann
All 2 repos by sthamann- sthamann/nyx-local-aiStars: 129TypeScriptPrototype
Nearby in Python
All Python repos- FujitsuResearch/OneCompressionStars: 445PythonAlpha
- lllyasviel/VCCStars: 445PythonAlpha
- DY-2026/GameDesignOSStars: 445PythonAlpha
- uber/clayStars: 445PythonAlpha
- OCA/reporting-engineStars: 445PythonAlpha
- nservant/HiC-ProStars: 445PythonAlpha