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