SNAP  
   Exact computation of hyperbolic 3-manifolds and their arithmetic invariants. Written by O. Goodman in an ARC-funded project of Hodgson and Neumann.
   http://www.ms.unimelb.edu.au/~snap

The Kenzo Program  
   A computer program for computational algebraic topology.
   http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/

Geomview  
   Interactive 3D viewing program for Unix. Free under GPL.
   http://www.geomview.org/

OPTi  
   Macintosh freeware which visualizes quasi-conformal deformations of the once-punctured-torus groups. It interactively draws the isometric circles, the Ford region, and the limit set.
   http://vivaldi.ics.nara-wu.ac.jp/~wada/OPTi/

Liverpool University Knot Theory Group Programs and Procedures  
   Four programs, each calculating some invariant from a closed braid presentation. Free to download. Pascal.
   http://www.liv.ac.uk/~su14/knotprogs.html

MING  
   Computes the MD energy of a polygonal knot. Available via ftp.
   http://www.math.uiowa.edu/~wu/min/ming.html

SnapPea PC  
   SnapPea for Windows 95/98/NT by A.C. Manoharan.
   http://home.att.net/~Manoharan/SnapPea/snappea.html

Simplicial Homology  
   A proposed GAP share package. May be tried online.
   http://www.eecis.udel.edu/~dumas/Homology/

SnapPea  
   A program for creating and studying hyperbolic 3-manifolds. Free source available in C.
   http://www.geometrygames.org/SnapPea/

CompuTop Software Archive  
   Computational low-dimensional topology collected by Nathan Dunfield.
   http://www.its.caltech.edu/~dunfield/computop/

Additions to SnapPea  
   With related tables, by Nathan Dunfield.
   http://www.its.caltech.edu/~dunfield/snappea/