Software

As of Fall 2023, I am the lead developer for Maup, the MGGG Redistricting Lab's geospatial toolkit for redistricting data.
https://github.com/mggg/maup

Cartan is a Maple package that I wrote for performing computations for the Cartan-Kahler analysis of linear Pfaffian systems.  It can compute structure equations, absorb the torsion whenever possible (and compute unabsorbable torsion when it is not possible), compute Cartan characters and test for involutivity, and compute prolongations.  The source code and installation instructions are available here:
https://euclid.colorado.edu/~jnc/Maple.html