Studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures.
Spherical diagrams for 3-manifold topology
Sage's PARI extension, modified to stand alone.
Database of snappy manifolds
A full featured Tk-based knot and link editor
Computes extremal rays with filtering