- HFK: This program computes the hat version of knot Floer homology given a grid diagram for a knot. It supplements my paper, Computations of Heegaard-Floer knot homology.
- Trans: This program determines whether Plamenevskaya's invariant of transverse braids vanishes in reduced Khovanov homology.
- 3Braid: This program decides whether a given 3-braid is quasi-alternating, computes HF of its branched double cover, determines whether the corresponding contact structure is tight, etc. It was designed to supplement my paper, Heegaard Floer homology and genus one, one boundary component open books.