Code

• https://github.com/walters-labs
• https://github.com/jacksonwalters

Selected Works

• Edge-span Chern algebras of graphical configuration spaces. Python, SageMath, and Macaulay2 software for computing the graph functor and its invariants, with reproducible computational certificates. [source] [paper] [archive]
• Fast Fourier transforms for symmetric groups. Rust and Python implementations over prime finite fields. [Rust] [crate] [Python] [PyPI]
• Modular and unitary DFTs for symmetric groups. Distinct algorithms contributed to SageMath. [modular DFT] [unitary DFT]
• The countable atomless Boolean algebra in Lean. A Lean 4 formalization of the cylinder-set construction and its atomlessness. [source] [paper] [DOI]
• Representations of finite general linear groups. SageMath constructions for GL(2) and GL(3), including Steinberg representations. [source] [paper]
• Educational lattice cryptography in Rust. Unaudited implementations of ML-KEM, ring-LWE, and module-LWE.