projects
current
past
- blow, a minimal tiling window manager for X11
- my dissertation, which automatically swaps out container implementations to improve performance.
- i was an admin for the tardis project for several years.
- some sketches of an intriniscally-typed formalisation of WebAssembly in Agda, available here
- infrastructure for high-performance computing at ukceh
- infrastructure & backend development at open cosmos
- machine learning for computer vision at cisco meraki
- tutoring algorithms & data structures at edinburgh university
- i was vice-president of compsoc, the largest computing society in Scotland.
- some answers for advent of code, in a mix of languages.
- doe, a simple command snippet runner
