Web Directory

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

  Caml (3)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Nomoz Sub Categories

See Also - Related Categories
Regular Websites in this category

Archive of Caml Weekly News Open in a new windowLink Details
- Mailing list archive from 2001.11.27 to present, all HTML.
- http://alan.petitepomme.net/cwn/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
SPIKE Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The Caml Language Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]