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 24, 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
GIFT Framework | Deriving physics from topology E₈×E₈ × K₇ → Standard Model + Cosmology 18 predictions • 0.087% deviation • 0 parameters • 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."