~remexre

Minneapolis

https://remexre.xyz

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

~remexre/public-inbox

Last active 1 year, 11 months ago

~remexre/clnix

An alternative packaging for Common Lisp packages in Nix.

Last active 2 years ago

~remexre/stahl

Discussion about the Stahl projects.

Last active 3 years ago

~remexre/furing

Discussion, patches, and announcements about furing, a Forth implementation using io_uring.

Last active 3 years ago