Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Top: Computers: Programming: Languages: ML: Caml:

Caml (3)

Categories:

See Also:
This category in other languages:

French

Sites:

http://alan.petitepomme.net/cwn/
» Archive of Caml Weekly News Open in a new browser window
   Mailing list archive from 2001.11.27 to present, all HTML.
   http://alan.petitepomme.net/cwn/
http://www.loria.fr/equipes/cassis/softwares/spike/
» SPIKE Open in a new browser window
   Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.
   http://www.loria.fr/equipes/cassis/softwares/spike/
http://caml.inria.fr/
» The Caml Language Open in a new browser window
   Strongly-typed, safe, automatic statically type-checked functional programming language from ML family. Powerful, easy to learn. Descriptions, documents, resources, downloads. English, Français. [Open Source, INRIA]
   http://caml.inria.fr/

This category needs an editor

Last Updated: 2007-01-02 19:58:03




Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org