~remexre

Minneapolis

https://remexre.com

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

clnix

An alternative packaging for Common Lisp packages in Nix.

furing

A Forth implementation using io_uring.

lemonbot

An IRC bot in Haskell, using algebraic effects.

stahl

A programming language and operating system.

ash-direct-entry

An ash::EntryCustom that directly links to libvulkan.so.

sylvan

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