https://github.com/gift-framework/core

GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Verified in Lean 4

coq coq-formalization e8 formal-verification g2-holonomy gauge-theory lean lean4 mathematics proof-assistant python

Last synced: 17 May 2026

https://github.com/aryankaran/omni_device_lenovo_TB-8304F1

android android-recovery e8 lenovo lenovo8163 mediatek mt8163 mtk ofox omni orangefox pbrp recovery shrp tb-8304f1 twrp

Last synced: 11 Mar 2025

https://github.com/wilcompute/w33-theory

Executable finite-geometry research linking W(3,3)/W33 to exceptional Lie structures (E6/E7/E8), with reproducible scripts, tests, and Lean/Sage verification paths.

computational-mathematics e6 e7 e8 exceptional-lie-algebras finite-geometry generalized-quadrangle lean4 mathematical-physics qutrit reproducible-research sagemath theory-of-everything topology w33

Last synced: 16 Feb 2026

https://github.com/grapheneaffiliate/e8-phi-constants

58 fundamental constants derived from E₈ → H₄ icosahedral geometry with zero free parameters — includes a self-sustaining solver and falsifiable predictions.

137 calculus casimir coxeter-groups dynamical-systems e8 fine-structure-constant geometric-standard-model icosahedral-symmetry lie lie-algebra lie-groups mathematics physics planck-scale riemann-hypothesis spacetime theoretical-physics theory-of-everything trigonometry

Last synced: 04 Apr 2026