gauge-theory
GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Verified in Lean 4
Sparse Lie algebra engine for G₂, F₄, E₆, E₇, E₈ — 913× compression, lattice gauge theory, equivariant GNN layers. pip install dhl-mm
Application of the L2HMC algorithm to simulations in lattice QCD.