Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
Was annoyed with the existing static site generator my blog was using, so throwing together my own.
A programming language and operating system.
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 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