The Caml Hump: Open Source :: QPL

A prototype implementation of an information flow analyzer for the Caml language.

An extension of OCaml with facilities for correctly manipulating object-language syntax involving alpha-convertible names and binding operations.

JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming.

A quite complete and fast LATEX to HTML translator written in Objective Caml.

Regexp/OCaml provides convenient syntax sugar for regular expression match for strings using PCRE/OCaml library.

Extension of the Objective Caml compiler suite producing Java binaries (.class/.jar files).

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.

Batteries Included is a candidate standard development platform for OCaml.

The goal of the OCaml-Java project is to allow seamless integration of OCaml and Java.

OCamlDuce is a merger between OCaml and CDuce. It comes as a modified version of OCaml which integrates CDuce features: expressions, types, patterns.

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.

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.

These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library.

A strongly typed higher-order functional programming language for XML documents with an efficient type-based runtime implementation.