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.
An alternative packaging for Common Lisp packages in Nix.
A Forth implementation using io_uring.
An IRC bot in Haskell, using algebraic effects.
A programming language and operating system.
An ash::EntryCustom that directly links to libvulkan.so.