Source code for the https://computerenhance.com programming series

The “Quite OK Audio Format” for fast, lossy audio compression

Minimal implementations for dependent type checking and elaboration

A collection of resources for learning type theory and type theory adjacent fields.