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


Personal Nix Stuff


A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.


random experiments


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.


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.

1 / 2