Husband, father, and Emacs fanatic. PhD student at the University of Utah studying programming languages.
Most of my work is currently on GitHub.
An expansion of the excellent Nord theme for Emacs
A custom Iosevka build modeled after the lovely Input Mono font: wide (extended) characters, legible glyphs, and tightened line spacing
Type inference algorithm attempting to support full type inference, let-polymorphism, type unions, and decent error messages
Annotated implementation of microKanren: an embeddable logic programming language
Implementation and exploration of micro- and miniAdapton
Web-centric worship service bulletin builder