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.


random experiments


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.

1 / 2