From Chirality to the Standard Model. Paper, LaTeX source, and an executable notebook with exact verification and Lean proofs.
Code for the Lie-Algebraic classical simulation of structured quantum circuits
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.
CP220-2024: Math Techniques for Robotics and Autonomous Systems, IISc
RIME: spectral, transport, accessibility, and observable-pipeline geometry for finite represented systems, with Rubik as a reproducible laboratory.
A Python library for deciding whether the dynamical Lie algebra (DLA) associated with a bosonic quantum system is finite-dimensional.
Derives all 26 fundamental physical constants from E8 vacuum structure and Hopf fibration topology. No free parameters fitted.
Functions to calculate the breadth of a nilpotent Lie algebra
The Monostring Hypothesis: Twenty-Three Computational Experiments Across Seven Mathematical Frameworks — Complete Falsification
Maximum commuting Grassmannians of graph Lie algebras, with Stanley-Reisner charts and binomial edge applications
To associate your repository with the lie-algebras topic, visit your repo's landing page and select "manage topics."