The Dusa programming language and web editor (2024-)

Community-driven documentation for the Twelf programming language (2004-)

A Javascript implementation of the tutorial theorem prover Tutch (2019-2023)

A tongue-in-cheek exploration of theoretical computer science concepts using toy computers (2021)

An implementation of substructural logic programming (2008-2012)