web nectar - Clean


Clean

           

Wectar: Computers: Programming: Languages: Clean


   submit a site to this category


Clean Game Library


URL: http://cleangl.sourceforge.net/
ODP description: Full development system for 2D games: arcade, side scrollers, platform games.
Page description: Complete development system for high quality sprite-based 2D games (side-scrollers, platform games)

Sparkle


URL: http://www.cs.ru.nl/Sparkle/
ODP description: 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.
Page title: Sparkle: a theorem prover for Clean

Wikipedia: Clean Programming Language


URL: http://en.wikipedia.org/wiki/Clean_(programming_language)
ODP description: Encyclopedia article, with links to many related topics.
Page title: Clean (programming language) - Wikipedia, the free encyclopedia

The Game of Life


URL: http://members.ozemail.com.au/~dekker/life/LIFE.HTML
ODP description: 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.

Clean


URL: http://clean.cs.ru.nl/
ODP description: 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.
Page title: Home




Found what you where looking for? Please help others to find the basic necessities:

Support the work of the D-Foundation



Thumbnails byInformation based on the Open Directory Projectsearch powered by
      

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

powered by Sphinx