Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
Personal Nix Stuff
Was annoyed with the existing static site generator my blog was using, so throwing together my own.
An alternative packaging for Common Lisp packages in Nix.
Personal fork of nasm.
The tea drawer! https://tea.remexre.xyz/
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.