Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering


Common Lisp Utilities


A programming language and operating system.


random experiments


We Have GraalVM At Home


A Forth implementation using io_uring.


Was annoyed with the existing static site generator my blog was using, so throwing together my own.


A clipboard tool that copies a PNG file and a text selection at the same time.


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 small dependently-typed language written in Silver using term rewriting with strategy attributes.

1 / 2