My Projects

GitHub repositories that I've built.

My reveal.js slide template, based on the Google Slides Paradigm theme
Partial git implementation. See https://wyag.thb.lt.
Rust 0 0
Things I try to do in Idris.
A poorly named Python-based concatenative programming language.
Python 4 0
Automatically add an email to your local todo.txt when you star it.
JavaScript 0 1
https://core.ac.uk/download/pdf/82173346.pdf
Idris 0 0
https://viewsourcecode.org/snaptoken/kilo/index.html
A material design search website prototype.
JavaScript 0 0

My Interests

Topics that I want to learn more about.

My Thoughts

Articles I've written.