e8
Here are 5 public repositories matching this topic...
exotopia is a simple art / music / climate and biodiversity resilience worker support multiverse
-
Updated
Jul 14, 2025 - HTML
GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Dual-verified (Lean 4 + Coq).
-
Updated
Dec 22, 2025 - Lean
I present a candidate unification framework in which Standard Model observables emerge as Casimir eigenvalues of the exceptional structures E8 × H4. The approach requires no free parameters: all 25 observables derive from fixed group-theoretic invariants (Coxeter numbers, exponents, degrees, and the golden ratio). Deviation from experiment is 0.07%
-
Updated
Dec 18, 2025 - Python
Theoretical physics | Geometric unification: SM parameters from E₈×E₈ + G₂-holonomy K₇ topology. 39 observables at 0.198% precision, 0 adjustable params. Lean 4 & COQ verified.
-
Updated
Dec 22, 2025 - Jupyter Notebook
Improve this page
Add a description, image, and links to the e8 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the e8 topic, visit your repo's landing page and select "manage topics."