software
You can find my publicly available software on my GitHub profile. Some notable projects are listed below.
Verification Tools
These are proof-of-concept implementations of verification procedures.
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.
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.