My Projects

GitHub repositories that I've built.

html-slide-template

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

CSS 0 0

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

Rust 0 0

Things I try to do in Idris.

0 0

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

C 0 0

Idris 0 0

A material design search website prototype.

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