Software:
Here is a
Haskell
program for calculating the Heegaard Floer homology of large surgeries
on knots. The program is mostly the work of
Damek Davis, with a few minor
additions by myself.
Back in 2005 I wrote some
computer code
(in MATLAB) for
generating Heegaard Floer complexes.
Nathan Dunfield has the
CompuTop.org
Software
Archive, with various programs useful in low-dimensional topology.