Minneapolis, MN



Notes from cubical type theory


Soft-deletion CLI tool with FreeDesktop Trash compatibility.


Personal configuration files


Personal blog


Extract code blocks from markdown files for literate programming


Personal Information Manager


Formal Reasoning About Programs in Agda


Toy programming language for learning to build a programming language ecosystem


Rust proc macro for invoking the OpenAPI generator


Notification daemon


Single-user hybrid blogging platform


osu! Tournament Organizer

1 / 3