Objective Caml - Latest version of the Caml dialect of the strongly-typed functional language ML: includes object-oriented programming, flexible module system, fast native compilers for many systems.
Objective Label - Extension of Objective Caml with labeled and optional parameters, and polymorphic variants and methods
The JoCaml system - An experimental extension of the Objective-Caml language with the distributed join-calculus programming model.
The O'Caml Link Database - A repository of software contributions for the Objective Caml community.