My Projects

GitHub repositories that I've built.

personal-website

Some guy's website.

HTML 0 0

A poorly named Python-based concatenative programming language.

Python 6 0

Idris 0 0

ReScript 0 0

JavaScript 0 0

Things I try to do in Idris.

Idris 1 0

Advent of Proof 2024

Idris 0 0

Haskell 0 0

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

CSS 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.

Sep 07, 2025

Aug 16, 2021

Jul 21, 2020 (Updated Aug 23, 2020)

Oct 22, 2019

Aug 24, 2019

Jul 12, 2019