Add your Web Site - Languages - Clean Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 
 
 Show pages from United States   Show all pages
 DIRECTORY/Computers/Programming/Languages/Clean (5)
i0Clean - http://clean.cs.ru.nl/ - 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.
 
i0Clean Game Library - http://cleangl.sourceforge.net/ - Full development system for 2D games: arcade, side scrollers, platform games.
 
i0Sparkle - http://www.cs.ru.nl/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.
 
i0The Game of Life - http://members.ozemail.com.au/~dekker/life/LIFE.HTML - 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.
 
i0Wikipedia: Clean Programming Language - http://en.wikipedia.org/wiki/Clean_(programming_language) - Encyclopedia article, with links to many related topics.
 
 E-Mail: webmaster@infobase-intl.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form