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