Objective Caml (ML)

Objective Caml further on these related pages:

Caml@

Top/Computers/Programming/Languages/Compiled/Functional Top/Computers/Programming/Languages/Functional Top/Computers/Programming/Languages/Garbage Collected/Object-Oriented Top/Computers/Programming/Languages/Multiparadigm Top/Computers/Programming/Languages/Object-Oriented Top/Computers/Programming/Languages/Open Source

Objective Caml Sites:

Objective Label Objective Label: Extension of Objective Caml with labeled and optional parameters, and polymorphic variants and methods (Objective Caml) http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ Camlmake 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] (Objective Caml) http://www.davidb.org/camlmake/ Yahoo Groups: OCaml_beginners 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 (Objective Caml) http://groups.yahoo.com/group/ocaml_beginners/ Camomile Camomile: Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL] (Objective Caml) http://camomile.sourceforge.net/ MlGtk MlGtk: An interface between Ocaml (a dialect of ML) and the Gtk+ toolkit (Objective Caml) http://cristal.inria.fr/~cuoq/mlgtk.html Merjis Ltd. 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. (Objective Caml) http://www.merjis.com/developers/ SPIKE 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. (Objective Caml) http://www.loria.fr/equipes/cassis/softwares/spike/ The JoCaml system 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. (Objective Caml) http://pauillac.inria.fr/jocaml/ OCaml Link Database OCaml Link Database: Large, indexed, sorted repository of software contributions for Objective Caml community. Descriptions, downloads, author contacts. (Objective Caml) http://www.npc.de/ocaml/linkdb/ Objective Caml 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] (Objective Caml) http://www.ocaml.org/ LablGTK LablGTK: Ocaml Gtk+ interface. (Objective Caml) http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html Dimitri Ara's page: ocaml Dimitri Ara's page: ocaml: Descriptions, links, software: Epeire graphical interface for OCaml debugger, ocamldsort dependency sorter for OCaml source files. Readme files, downloads. (Objective Caml) http://www.eleves.ens.fr/home/ara/ocaml.html