• https://lambdaland.org/

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

    A lot of my work is on GitHub, though new personal projects will appear here.

  • Joined on 2022年07月19日
Filter
Sort
Stepping stones to a better Emacs experience
Updated 2026年07月12日 07:04:57 +02:00
μKanren implemented in Elixir
Updated 2026年07月07日 00:46:41 +02:00
A dark Emacs color theme built on top of the excellent Modus framework utilizing colors from the Nord palette.
Updated 2026年07月02日 06:54:57 +02:00
Little e-graph implementation
Updated 2026年07月02日 06:41:55 +02:00
Next-generation choreography compiler
Updated 2026年06月24日 00:29:50 +02:00
Updated 2026年05月12日 06:32:42 +02:00
Updated 2026年04月27日 00:13:29 +02:00
Updated 2026年03月23日 05:16:16 +01:00
Typst support for the Citar package in Emacs
Updated 2026年03月01日 23:47:40 +01:00
An improbably good résumé for the intrepid hitchhiker.
Updated 2026年02月13日 23:17:05 +01:00
Study guide for the midterm for CS 3100—Models of Computation. This is for the Spring 2026 semester at the University of Utah.
Updated 2026年02月07日 00:20:53 +01:00
Yeet files onto the internet for sharing
Updated 2026年01月21日 19:55:29 +01:00
Utilities for creating slideshows with Rhombus
Updated 2026年01月13日 23:45:59 +01:00
Updated 2025年11月27日 01:00:39 +01:00
Dumb Brainf*** interpreter written in Rust Go see [brainfreeze](https://github.com/ashton314/brainfreeze) for a much cooler (and faster!) version.
Updated 2025年11月23日 06:39:29 +01:00