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.

Open research on finite observer-consistency in physics: Lean-checked theorems and lemmas, reproducible simulations, explicit countermodels, and clearly tracked open physical bridges.

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

Spectral Causal Theory: derivations, verification, analysis, and publications.

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.

Using the patterns and particles of physics as the building blocks of programs

Book Particle Physics by Christoph Berger and Gregor Herten

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.