An effort to keep track of some things I’ve built, more on github.
April 2026
Playbach. Music at your fingertips. (playbach.io)
March 2026
ccchallenge.org. Formalising the Collatz literature. (ccchallenge.org) (github)
December 2025
Vortex. Throw it in the vortex. (vortexvortex.com — dead)
November 2025
Magiclabs. AI-powered lab notebooks. (magiclabs.bio)
With Gijs de Bruin.
September 2025
