Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Programming languages :: Interpreters


Bindings with C libraries
ocaml-lua [10-Sep-2012, version 1.0, Stable]
OCaml-lua provides bindings to the Lua programming language. Lua is a scripting language particularly useful when you need to embed a language in your application. This project provides the bindings required to embed Lua.
Author: Paolo Donadeo.


Scientific software
McCarthy [21-Feb-2006, Beta] Has a documentation
McCarthy is a simple, first-order functional programming language. The interpreter of this language is also called McCarthy. McCarthy is Turing-complete i.e. it can compute all Turing-computable functions on the integers. It is not suitable for general purpose programming as it offers only an elementary subset of the features found in general purpose programming languages, but it can serve as a model of computation.
Author: Geopoul.
Development tools
Nnjoy [07-Nov-2005, version 0.2, Beta]
NJoy is a variant of the concatenative programming language Joy The main difference is that it is enriched with an easy to module system with optionally private declarations. Only a part of the standard library of Joy is implemented. The interpreter is easy to use, but the builtin functions are poorly documented. The performance of the interpreter (natively compiled and stack traceback switched off) is on par with optimized C implementation of Joy.
Development tools
OCamlnat [22-Nov-2011, version 0.1.0, Beta]
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.
Author: Benedikt Meurer.
Scientific software
oclisp [02-Apr-2008, version 0.5, Beta]
A minimal lisp interpreter, for educational purposes.
Author: Andrew Birkett.


Cadmium [10-Sep-2007, version 1.0-alpha, Alpha] Has a documentation
Java port of ocamlrun, runtime support for Cafesterol.
Author: Xavier Clerc.
OCamlScripting [15-Oct-2007, version 1.0, Alpha]
OCamlScripting is an implementation of the Java JSR223 Scripting API (this API is defined by the javax.script package) for the Objective Caml language. It thus provides a script engine that allows execution of Objective Caml code snippets in a Java application.
Author: Xavier Clerc.