My Projects

GitHub repositories that I've built.

My reveal.js slide template, based on the Google Slides Paradigm theme
Partial git implementation. See
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
Idris 0 0
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.