Patrick Bangert
Braidlink is software for knot and braid theory computations. It performs both analytic and numerical manipulations of knots and braids.