Open research on finite observer-consistency in physics: Lean-checked theorems and lemmas, reproducible simulations, explicit countermodels, and clearly tracked open physical bridges.
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.
Repository hosting the KLFitter library – the Kinematic Likelihood Fitter.
Deriving the Standard Model from a single finite geometry with zero free parameters
Open source toolkit for simulating and visualizing particle interactions as predicted by the Standard Model
Mathematica package for algebraic calculations in elementary particle physics. Performs automated calculation of all one- and two-loop Feynman integrals reducable to scalar integrals independent of external momenta and depending on up to two different masses.
Spectral Causal Theory: derivations, verification, analysis, and publications.
Book Particle Physics by Christoph Berger and Gregor Herten
Using the patterns and particles of physics as the building blocks of programs
Several implementations of the standard PPHPC agent-based model
K₇ (formerly GIFT), the founding framework of the Arithmon program. Standard Model parameters as topological invariants of a G₂ manifold. Zero free parameters, formally verified, falsifiable.
Certified mathematical identities of the K₇ framework: E₈×E₈ gauge theory on a G₂-holonomy manifold, 460+ relations, 0 sorry, Lean 4. Formerly gift-framework/core (GIFT Core). Distinct from Arithmon/Lean, the Sieve methodology layer.
Wolfram Language package calculating the couplings and mixings of the SM and MSSM
Geometric-Electromagnetic Model (GEM): A topological reformulation of the quantum vacuum as a Riemann-Cartan manifold with icosahedral substructure. Includes the published paper (DOI: 10.5281/zenodo.21268209), foundational documents, and experimental protocols.
A simulator of the Big Bang.
Universal Measurement Contract Protocol (UMCP) — a contract-first validation framework implementing Generative Collapse Dynamics. 23 domains · 746 proven theorems · 20k+ tests · 44 structural identities · Python + C++17 accelerator.
The Cascade Series: The universe from nothing
To derive the mysterious mass hierarchy of quarks (e.g., Why is Top quark so heavy?) by mapping particle generations to Prime Knots of increasing crossing number.
唯一の公理¬∃→∃と明示された同定公理から、宇宙論的定数（120桁問題を連続パラメータゼロで抑制、誤差1.71%）・CMB音響ピーク・標準模型の群構造を導出する反証可能な統一理論。新等式 α·ln n* = R(S^(n*-1))·π を含む。/ A falsifiable unified theory deriving Λ, CMB peaks, and the SM gauge group from a single axiom with zero fitted parameters.
Book II of Dark Geometry: the Standard Model gauge group, particle masses, couplings and mixing angles derived from d=3 and the Planck mass alone — zero free parameters. ~170 predictions, ~80 sub-percent (Koide leptons, v_H to 22 ppm, m_p/m_e=6π⁵). Verification code + master table.
Add a description, image, and links to the standard-model topic page so that developers can more easily learn about it.
To associate your repository with the standard-model topic, visit your repo's landing page and select "manage topics."