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