Here is a Haskell
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
, with various programs useful in low-dimensional topology.