A tour in the wonderland of math with python.

Visualize 3d/4d hyperbolic honeycombs and Boyd-Maxwell sphere packings.

Cluster algebraic/geometric structures related to plabic graphs

Coxeter groups in Lean 4

Modular AI system where independently-trained ternary specialists load on demand from disk, routed by geometric classification, sharing a unified lattice knowledge base, capable of autonomously growing new specialists — all running on a CPU laptop.

A tool to find virtual algebraic fibrations of right-angled Coxeter groups.

ML Clifford invariants of Coxeter elements (arXiv: 2310.00041)

SageMath implementation of the restricted permutahedral model for computing the topology (cohomology, cup product, fundamental groups, asphericity criteria) of real parabolic arrangement complements associated to finite Coxeter groups.

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