Todo List

This is my todo list. It's on everything that I have to do related to my work (this website, music, videos, etc...) that is publicly available.

Projects

Mathlib

This Website

NoExcess

This is a programming language I started work on and never finished. The source code is now gone because I ditched my old git server. I still wish to make a programming language based off of this name, however.

NullRing

Ham Radio