The Software Archive.

Welcome to, a site for for people doing computational stuff with low-dimensional topology. If you know any other software that should be listed here, drop me a line. Suggestions are welcome.

--Nathan Dunfield

This website partially supported by NSF various grants.

Recent additions

2018/04/30: Added RackEnumeration for enumrating elements of a rank.
2017/12/14: Added curver for studying the curve complex of a surface.
2017/11/16: Added KnotInfo an online database of knot invariants.
2016/04/8: Added flipper for manipulating curves and measured laminations on surfaces and producing mapping tori.
2015/12/7: Added polymake for studying the geometry of convex polytopes and polyhedra.
2015/1/20: Added shine for studying hyperbolic geodesics on surfaces.
2014/9/25: Added Andrews-Curtis for studying that conjecture.
2014/2/5: Added Branched for minimizing intersections of curves on a surface and drawing the result.

2-dimensional manifolds

3-dimensional manifolds


SnapPea is a general purpose program for manipulation of 3-manifolds, with an emphasis on finite volume hyperbolic 3-manifolds. Allows entering of manifolds as Dehn surgery on link complements and from an extensive census of small-volume manifolds.

Other general 3-manifold programs.

Normal Surface Theory

Kleinian Groups

Foliations and other dynamics

Floer homology and gauge theory


Knot Theory and related topics

Combinatorial/Geometric Group Theory

Algebraic Topology

Here are some packages for computing the homology and cohomology of simplicial complexes and groups:

General polyhedra

Nathan Dunfield