GitHub repository: zach-winkeler/khovanov-ss
Primary language: Macaulay2
Description: Program to calculate Nate Dowlin's spectral sequence from Khovanov homology to knot Floer homology. Written in Macaulay2.