My Projects

GitHub repositories that I've built.

tcs4

https://core.ac.uk/download/pdf/82173346.pdf

Idris 0 0

My reveal.js slide template, based on the Google Slides Paradigm theme

CSS 0 0

https://viewsourcecode.org/snaptoken/kilo/index.html

C 0 0

A poorly named Python-based concatenative programming language.

Python 4 0

Idris 0 0

A material design search website prototype.

JavaScript 0 0

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

JavaScript 0 1

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

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