software
Most of the software I wrote is accessible through my Github profile. Some notable projects are listed below.
Verification Tools
The Game Graph Gym
Solving games on temporal graphs
shepherd
Effectively solving the random population control problem
Solves finite energy games
A basic parity game solver
Templates
I wrote a couple of themes for LaTex/beamer.
A modular beamer theme for the University of Liverpool
Warwick Uni theme for LaTeX beamer
University of Edinburgh theme 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.
A check50 extension for running and interpreting JUnit 5 unit tests
A check50 extension that wraps around the static code analyser Checkstyle
check50 extension to compile/run Java code and JUnit 5 tests
turns check50 reports into grades