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 extension that provides contracts for C, which are checked at runtime but may be relatively aggressively optimized by the compiler, including removing runtime tests for contracts.
the blog
An alternative packaging for Common Lisp packages in Nix.
random experiments
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.