Objective Caml (ML)

Objective Caml Subs:

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:

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

Objective Caml Related Pages: