SNAP - Exact computation of hyperbolic 3-manifolds and their arithmetic invariants. Written by O. Goodman in an ARC-funded project of Hodgson and Neumann.The Kenzo Program - A computer program for computational algebraic topology.
SnapPea - A program for creating and studying hyperbolic 3-manifolds. Free source available in C.
Geomview - Interactive 3D viewing program for Unix. Free under GPL.
CompuTop Software Archive - Rescued from the CompuTop site by Nathan Dunfield.
Additions to SnapPea - By Nathan Duffield.
OPTi - Macintosh freeware which visualizes quasi-conformal deformations of the once-punctured-torus groups. It interactively draws the isometric circles, the Ford region, the limit set, etc.
Liverpool University Knot Theory Group Programs and Procedures - Four programs, each calculating some invariant from a closed braid presentation. Free to download. Pascal.
MING - Computes the MD energy of a polygonal knot. Available via ftp.
SnapPea PC - SnapPea for Windows 95/98/NT by A.C. Manoharan.
Simplicial Homology - A proposed GAP share package. May be tried online.
