My Projects

GitHub repositories that I've built.

material-search

A material design search website prototype.

JavaScript 0 0

Idris 0 0

Automatically add an email to your local todo.txt when you star it.

JavaScript 0 1

A poorly named Python-based concatenative programming language.

Python 4 0

Partial git implementation. See https://wyag.thb.lt.

Rust 0 0

A web app that could be a National Park Service info kiosk, built on Sails.js and Angular.

JavaScript 0 0

return self.about()

0 0

Lambda calculus implementations

Go 0 0

Advent of Code

Python 0 0

Topics that I want to learn more about.

Front-end web development

Functional programming

Programming languages and compilers

Type theory

Dependent types

Computational sustainability

Articles I've written.

Aug 16, 2021

Jul 21, 2020 (Updated Aug 23, 2020)

Oct 22, 2019

Aug 25, 2019

Jul 12, 2019