A demonstration of Robinson tilings with a solver. (Requires Java 1.5 or better)
A plugin for Eclipse that edits Cat language files. (Requires Eclipse 3.2 or better)
A type system.