~ashton314

Utah, USA

https://lambdaland.org

Husband, father, and Emacs fanatic. PhD student at the University of Utah studying programming languages.

Most of my work is currently on GitHub.

~ashton314/tundra-theme

An expansion of the excellent Nord theme for Emacs

~ashton314/iosevka-output

A custom Iosevka build modeled after the lovely Input Mono font: wide (extended) characters, legible glyphs, and tightened line spacing

~ashton314/type-error-research

Type inference algorithm attempting to support full type inference, let-polymorphism, type unions, and decent error messages

~ashton314/microKanren

Annotated implementation of microKanren: an embeddable logic programming language

~ashton314/adapton

Implementation and exploration of micro- and miniAdapton

~ashton314/rostrum

Web-centric worship service bulletin builder