Below is a very sparse list of software I've written mostly for fun/personal convenience. Perhaps some of these programs are useful to you! (I've also written lots of software for my research, described on my personal website.)

• dokoff is a tool to edit doku wiki files offline and in your favorite text editor. This is mainly how I edit pages on this wiki.
• generic-regexes is a TypeScript library which implements regular expression matching over user-defined datatypes. In particular, the library tries to make very few assumptions about the kinds of data that we match.

This wiki also functions as a digital scratch book of sorts, where I collect random notes or thoughts. These pages are listed below:

I like to take travel photos, and have collected some of my favorites here.