Computational Representation Theory

rustcox

A Rust reimplementation of PyCox for computations with finite Coxeter groups: Kazhdan–Lusztig polynomials, cells, and Duflo involutions. It supports equal and unequal parameters and parallel computation.

unipotentrepn

Algorithms for the combinatorics of unipotent representations of classical groups, including nilpotent orbits, Springer correspondence, DRC diagrams, local systems, and theta lifting.

atlas-rust

A Rust reimplementation of the Atlas of Lie Groups interpreter, aiming for compatibility with the Atlas language. This is a project in development; the repository documents its compatibility targets and current scope.

Zed Plugin

Lean support for Zed, with an interactive infoview for inspecting goals, hypotheses, and proof states while editing Lean files.

lean-goalview · lean-prism (a compatibility adaptation of wvhulle’s Lean-Prism)