Objective Caml
Latest version of Caml dialect of strongly-typed functional language ML: object-oriented programming, flexible module system, fast native compilers for many systems. Descriptions, documents, resources, downloads. English, Français. [Open Source, INRIA]
url: www.ocaml.org/
|
Camlmake
Hack to build O'Caml programs easily, doesn't support any new syntax of 3.00, should be rewritten to use lexer that new ocamldep uses. Description, source code download tar file. [Open Source; LGPL, GPL, Q Public License]
url: www.davidb.org/camlmake/
Camomile
Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]
url: camomile.sourceforge.net/
Dimitri Ara's page: ocaml
Descriptions, links, software: Epeire graphical interface for OCaml debugger, ocamldsort dependency sorter for OCaml source files. Readme files, downloads.
url: www.eleves.ens.fr/home/ara/ocaml.html
The JoCaml system
Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collection. Descriptions, documents, downloads.
url: pauillac.inria.fr/jocaml/
LablGTK
Ocaml Gtk+ interface.
url: wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.htm...
Merjis Ltd.
Has mod_caml OCaml bindings for Apache API, lets you run CGI scripts written in OCaml directly in Apache webserver; and Objective Caml tutorial, practical, detailed, for those who already know an imperative or OO-language.
url: www.merjis.com/developers/
MlGtk
An interface between Ocaml (a dialect of ML) and the Gtk+ toolkit
url: cristal.inria.fr/~cuoq/mlgtk.html
Objective Label
Extension of Objective Caml with labeled and optional parameters, and polymorphic variants and methods
url: wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/
OCaml Link Database
Large, indexed, sorted repository of software contributions for Objective Caml community. Descriptions, downloads, author contacts.
url: www.npc.de/ocaml/linkdb/
SPIKE
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.
url: www.loria.fr/equipes/cassis/softwares/spike/
Yahoo Groups: OCaml_beginners
Email forum for mutual aid of those who recognize they're not OCaml gurus yet, ask what you wanted but were afraid to in the very official caml-list@inria.fr, satisfaction not guaranteed, if you teach more than you learn, then you've probably learned more than you're teaching.
url: groups.yahoo.com/group/ocaml_beginners/
