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.


random experiments


A Forth implementation using io_uring.


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


A port of Zeus to OCaml.

1 / 2