category: OCaml
sdesc: "The OCaml compiler and runtime"
ldesc: "OCaml is a fast modern type-inferring functional programming
language descended from the ML (Meta Language) family, featuring objects,
modules, and a high-performance native-code compiler. The OCaml compiler is
developed by a worldwide distributed team coordinated by the Gallium
project-team at Inria Paris."
homepage: http://caml.inria.fr/ocaml/