| Date | Name | Description |
|---|
| 2004-08-04 | Calculating with Signatures | An extension to the signature language of ocaml.
The patch is for ocaml-3.08.0 and provides some operations
on signatures. It is still at an experimental state but mostly working.
By Jurgen Pfitzenmaier |
| 2001-09-26 | Coca-ml | A small extension to ocaml 3-02 called coca-ml and using camlp4 to allow 'down cast' of objects between classes in relations of inheritance and sub-typing.
By Emmanuel Chailloux |
| 2002-09-18 | DML / de Caml | A conservative extension of the functional programming language ML.
By Hongwei Xi |
| 2004-02-25 | ECaml | A simple object system for OCaml, based on polymorphic variants and a Camlp4 syntax extension.
By Issac Trotts |
| 2003-07-03 | Flow Caml | A prototype implementation of an information flow analyzer for the
Caml language.
By Vincent Simonet |
| 2003-07-03 | Fresh Objective Caml | An extension of OCaml with facilities for correctly manipulating
object-language syntax involving alpha-convertible names and binding operations.
By Mark Shinwell |
| 2001-08-10 | JoCaml | An experimental extension of the Objective-Caml language with the distributed join-calculus programming model.
By Fabrice Le Fessant, Luc Maranget, Sylvain conchon |
| 2002-11-12 | lightweight records | An extension with camlp4 that allows one to use lightweight records in OCaml.
By Nicolas Oury |
| 2002-08-28 | MetaOCaml | A compiled, type-safe, multi-stage programming language.
By Cristiano Calcagno, Walid Taha, Xavier Leroy |
| 2004-03-08 | Nativize | Compile and run native functions from the toplevel.
By Issac Trotts |
| 2004-07-13 | OCamlJitRun | A just in time translator of Ocaml bytecode into machine code (on x86, and perhaps sparcv9 & PowerPC in 32 bits mode).
By Basile Starynkevitch |
| 2004-11-02 | Ochra | Ochra is a syntax extension for OCaml, extending the
language with explicit support for programming using
an Object-Oriented Reference Attributed Grammar (RAG)
formalism.
By Martin Sandin |
| 2002-01-18 | patch_record | A patch to OCaml 3.04 which addresses the problem of labels shared between several record types.
By Alain Frisch |
| 2001-12-12 | SCaml | A patch against the OCaml compiler which adds module unloading, a workaround for 'mangled' function names, an uninliner for .cmx, ...
By Vassili Karpov (Malc) |
| 2004-10-26 | Schoca | Schoca is an implementation of the Scheme language. The primary
purpose of Schoca is the use as an embedded extension language in
OCaml applications.
By Christoph Bauer |
