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.