| 1. | Objective Label | | | Extension of Objective Caml with labeled and optional parameters, and polymorphic variants and methods
wwwfun.kurims.kyoto-u.ac.jp |
| 2. | OCaml Link Database | | | Large, indexed, sorted repository of software contributions for Objective Caml community. Descriptions, downloads, author contacts.
www.npc.de |
| 3. | MlGtk | | | An interface between Ocaml (a dialect of ML) and the Gtk+ toolkit
cristal.inria.fr |
| 4. | LablGTK | | | Ocaml Gtk+ interface.
wwwfun.kurims.kyoto-u.ac.jp |
| 5. | 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]
www.davidb.org |
| 6. | Camomile | | | Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]
camomile.sourceforge.net |
| 7. | Dimitri Ara's page: ocaml | | | Descriptions, links, software: Epeire graphical interface for OCaml debugger, ocamldsort dependency sorter for OCaml source files. Readme files, downloads.
www.eleves.ens.fr |
| 8. | 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.
groups.yahoo.com |
| 9. | 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.
www.loria.fr |
| | |