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


Personal Nix Stuff


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


An ash::EntryCustom that directly links to libvulkan.so.


random experiments


A programming language and operating system.


A tool for parsing Silver .svi files.


Common Lisp Utilities


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.


An IRC bot in Haskell, using algebraic effects.


PL utilities for Common Lisp

1 / 2