software
Most of the software I wrote is accessible through my Github profile. Some notable projects are listed below.
Verification Tools
Templates
I wrote a couple of themes for LaTex/beamer.
I have been involved in developing tools related to the notmuch email system, most notably my terminal UI alot, which is shipped with all major Linux distributions.
Teaching related
A while ago, we used Harvard’s check50 system to facilitate automated feedback in my teaching. The software below was designed to easily integrate tests for java code and compute summative feedback for students.