Minneapolis
Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.
Personal Nix Stuff
An alternative packaging for Common Lisp packages in Nix.
random experiments
the blog
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.