---

Comparison and Review :: Languages
Multiparadigm :: Compiled
Functional :: Languages
Object Oriented :: Garbage Collected
Bytecode :: Interpreted
Multiparadigm :: Languages
Class based :: Object Oriented
Open Source :: Languages
Procedural :: Languages

The Caml Language - This is the official web page of the OCaml development team. Here you'll find the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in The Humps), style guidelines, books about OCaml.

Cameleon - An IDE specially designed for OCaml.

404 Camlmake - Hack to build OCaml 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]

Camomile - Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]

COCAN: The OCaml Alliance Network - Business-focused wiki on OCaml: why managers should choose it, lists of people and firms who use it, how to install on various operating systems, technical resources, user groups.
Meta Description: [ The OCaml Alliance Network coordinates industry requirements, advocacy and marketing of the Objective CAML programming language ]

CocOCaml - A Cocoa based wrapper for the OCaml toplevel environment. It was written to solve a number of the problems one usually runs into while running the toplevel under OS X's terminal.

Developing applications with Objective Caml - A book from O'Reilly, available online. Lots of examples and topics covered. Only drawback: based on a old version of 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.

G'Caml - O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.

LablGTK - OCaml Gtk+ interface.

500 Markus Mottl's OCaml software - Includes functionnal libraries, interfaces to PostgreSQL and LAPACK and Perl regexps, OCamlMakefile, syntax files for VIM, and a few more.

Merjis Ltd. - Has mod_caml OCaml bindings for Apache API, lets you run CGI scripts written in OCaml directly in Apache webserver; and OCaml tutorial, practical, detailed, for those who already know an imperative or OO language.
Meta Description: [ Developers ]

MlGtk - An interface between OCaml and the Gtk+ toolkit

O'Jacare - Object-oriented interface between OCaml and Java, code generator to aid interoperability via their object models, defines an IDL and allows a safety execution by static typechecking.
Meta Description: [ O'Jacare is a code generator to help in interoperability between O'Caml and Java through their object model. It defines an IDL and allows an safety execution by static typechecking. ]

Objective Label - Extension of OCaml with labeled and optional parameters, and polymorphic variants and methods.

OCaml Advocacy - Lists many advantages, some shortcomings.

OCaml for Scientists - This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules.
Meta Description: [ Book: OCaml for Scientists ]

OCaml Link Database - Large, indexed, sorted repository of software contributions for OCaml community. Descriptions, downloads, author contacts.

omlet.vim - VIM syntax file for OCaml.

Perl4Caml - Allows using any CPAN Perl code within OCaml.
Meta Description: [ Developers/Perl4Caml ]

Programming with Objective Caml - Home of GODI advanced programming environment for OCaml; news, projects with downloads, links, source tree.

Pycaml - Lets users build native OCaml libraries and use them from Python and conversely.

The JoCaml System - Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.

Tuareg Mode - For Emacs, used to edit OCaml code, gives shortcuts, syntax coloring, automatic indenting, interaction with the toplevel.
Meta Description: [ A powerful Caml mode for GNU Emacs and XEmacs. Handles Objective Caml and Camllight ]

Yahoo Groups: OCaml_beginners - Email forum for mutual aid of those who know they're not OCaml gurus yet.
Meta Description: [ ocaml_beginners: Ocaml Beginners ]