Interests: Programming Languages, Computer Security, Software Engineering


A hobbyist operating system.


Work done as part of Stephen Guy's CSCI8980 on Realtime Planning & Simulation.


An IRC bot in Haskell, using algebraic effects.


PL utilities for Common Lisp


A graph store written in Rust.


Some scripts to run a Docker container over your home directory, as "you."


A Forth implementation using io_uring.


A small dependently-typed language written in Silver using term rewriting with strategy attributes.


A simple Unix module system.


A fork of https://github.com/ktvoelker/standalone-haddock/issues/30 for Cabal 3