Computers and Internet - Discussions pertaining to hardware, software, internet, web design, internet, programming and more.
Programming - C, C++, PHP, Perl, Delphi, Visual Basic, etc.. If you are seeking out a discussion on computer programming, then this is your place to be.
Clean - The Software Technology Research Group develops this pure, lazy functional programming language, with hybrid static/dynamic typing, and Integrated Development Environment (IDE) with syntax coloring editor; descriptions, papers, software downloads.
Clean Game Library - Full development system for 2D games: arcade, side scrollers, platform games.
The Game of Life - Life: A Clean Programming Tutorial and Case Study. Tutorial for this functional language, in the form of a stepwise development of 2 programs to animate Conway's Game of Life.
Sparkle - Clean theorem prover, can help prove partial correctness of programs, or useful traits of parts of programs; proof process uses hint mechanism, suggests proof actions to user; windowing user interface shows content graphically in windows that can be resized, moved, closed at will.
