The ptolemy module for
studying representations of 3-manifold groups into SL(N, C) and
PSL(N, C). By Matthias Goerner.
Twister for building
surface bundles and Heegaard splittings from mapping class group
data; here’s the user guide.
By Marc Bell, Tracy Hall, and Saul Schleimer.
Internals of verified computations
The ptolemy module