- The Game of Life - Life: A CLEAN Programming Tutorial and Case Study
- Clean Game Library - A complete development system for 2D games (arcade, side scrollers, platform games).
- Clean - The Software Technology Research Group develops this pure and lazy functional programming language. Description of the language and software downloads.
- Sparkle - A semi-automated theorem prover for proving properties of Clean programs.
|
