English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Open Source :: QPL


Major applications
Hevea [10-Sep-2012, version 2.00, Mature] Has a Godi packageHas a documentationHas a tutorial
A quite complete and fast LATEX to HTML translator written in Objective Caml.
Author: Luc Maranget.


Development tools
OCaml Batteries Included [09-Jan-2013, version 2.0.0, Stable]
Batteries Included is a candidate standard development platform for OCaml.
Authors: Bluestorm, Edgar Friendly, and David Teller.
Development tools
OCamlDuce [29-Aug-2011, version, Stable] Has a Godi packageHas a documentationHas a tutorial
OCamlDuce is a merger between OCaml and CDuce. It comes as a modified version of OCaml which integrates CDuce features: expressions, types, patterns.
Author: Alain Frisch.


Native OCaml libraries
CDuce [08-Jul-2004, version 0.2.0, Beta] Has a Godi packageHas a documentationHas a tutorial
A strongly typed higher-order functional programming language for XML documents with an efficient type-based runtime implementation.
Author: Alain Frisch.
Scientific software
Flow Caml [03-Jul-2003, version 1.03, Beta] Has a documentationHas a tutorial
A prototype implementation of an information flow analyzer for the Caml language.
Author: Vincent Simonet.
Development tools
Moca [18-Jun-2012, version 0.7.0, Beta] Has a tutorial
Mocac is a generator of construction functions for Caml concrete data types with algebraic invariants and maximal sharing facilities. Algebraic invariants are specified by using keywords denoting equational theories like commutativity and associativity. The construction functions generated by Mocac allow each equivalence class to be represented by a unique value.
Development tools
OCaml-Java [18-Feb-2010, version 1.4, Beta]
The goal of the OCaml-Java project is to allow seamless integration of OCaml and Java.
Author: Xavier Clerc.
Development tools
OCamljs [07-Sep-2010, version 0.3, Beta] Has a documentation
Ocamljs compiles OCaml to Javascript. It uses the standard OCaml front-end, so the full language is supported (the object system is partially supported, should be fixed soon). Included are several libraries for Web programming, as well as a library for working with Javascript via Camlp4. It works with orpc for RPC over HTTP, and with froc for functional reactive browser programming.
Author: Jake Donham.
Development tools
OCamlnat [22-Nov-2011, version 0.1.0, Beta]
The ocamlnat project provides a new native code OCaml toplevel ocamlnat, which is mostly compatible to the byte code toplevel ocaml, but up to 100 times faster. It is based on the optimizing native code compiler, the native runtime and an earlier prototype by Alain Frisch. It is build upon Just-In-Time techniques and currently supports Unix-like systems (i.e. Linux, BSD or Mac OS X) running on x86 or x86-64 processors. Support for additional architectures and operating systems is planned, but not yet available.
Author: Benedikt Meurer.
Camlp4 extensions
Regexp-OCaml [24-Mar-2003, version 0.9.3, Beta]
Regexp/OCaml provides convenient syntax sugar for regular expression match for strings using PCRE/OCaml library.
Author: Yukata Oiwa.


Development tools
Cafesterol [10-Sep-2007, version 1.0-alpha, Alpha] Has a documentation
Extension of the Objective Caml compiler suite producing Java binaries (.class/.jar files).
Author: Xavier Clerc.
Scientific software
Fresh Objective Caml [03-Jul-2003, version 3.06-6, Alpha] Has a documentation
An extension of OCaml with facilities for correctly manipulating object-language syntax involving alpha-convertible names and binding operations.
Author: Mark Shinwell.

No status

Native OCaml libraries
Calcul avec OCaml [25-Sep-2012, version 0.3] Has a documentation
These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library.
Scientific software
JoCaml [30-Aug-2012, version 4.00] Has a documentation
JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming.