The runtime for Objective Caml, a functional programming language, created to add object-oriented support to Caml, a dialect of the ML family of functional programming languages. Runs ocaml bytecode, produced by ocamlc. Can also be run from the command line, placing the user in an interactive shell.
ocamlopt, the native-code producing ocaml compiler, bears the distinction of having the one of the fastest native compilers, second only to C, as listed in Doug Bagley's Great Programming Language Shootout.