http://caml.inria.fr/
Objective Caml is the most popular variant of the Caml language. From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference.
The Objective Caml system is the main implementation of the Caml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development.
http://dotpups.de/puppy4/dotpups/Programming/
Caml language
Some Objective Caml modules to be mentionned:
- LablGL provides ocaml bindings to OpenGL
- LablGTK provides ocaml bindings to GTK2