Software

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

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

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

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

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/

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

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

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

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