I made the chrome extension wig-solver, which adds functionality to WhenIsGood to simplify office-hour scheduling.

I'm also the author of SmallCategories, a database listing all categories with very few (currently, ≤7) morphisms, up to isomorphism. As far as I know, SmallCategories is the only resource of its kind – if you happen to know otherwise, please contact me!

As part of the SmallCategories project, I authored pycatlib, a very small python library for computing with finite categories. There is more to come in this direction!

I am a founding member and editor of MathBases.org, a database of mathematical databases.