Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
Personal Nix Stuff
The tea drawer! https://tea.remexre.xyz/
An alternative packaging for Common Lisp packages in Nix.
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.
Common Lisp Utilities
A toy well-typed-interpreter in Silver.
A Forth implementation using io_uring.
An ash::EntryCustom that directly links to libvulkan.so.
A port of Zeus to OCaml.
A programming language and operating system.