I have a healthy interest in using computers for mathematics, in different ways.

Online mathematics

I've created interactive classifications:

I also maintain the (infrastructure for) the following websites:

Implementations

I've implemented the following (hopefully useful) tools:

  • hodge-diamond-cutter, Sage library to compute Hodge numbers for many classes of smooth projective varieties

    see also its online documentation

  • bibgetter, automatically resolve MathSciNet and arXiv identifiers in LaTeX for bibliography management

  • twisted-hodge, Sage library to compute twisted Hodge numbers of complete intersections, joint with Piet Glas

  • gerby-project, the system underlying the Stacks project, Kerodon, and other large online mathematical texts

Various

I also have smaller (and older) projects: