OCaml software

During my idle time, I develop software, mainly in OCaml, a functional programming language with a wonderful standard library and a compiler (bytecode and native) which can rival with gcc. OCaml code being fully portable, you can compile the following code on any platform supported by OCaml: Linux, most commercial UNIX, but also MacOS, Windows, etc. (unless a specificity of some platform is used, like the SVGA library for instance).

Unless stated otherwise, the code available on this page is distributed under the terms of the GNU Library General Public License version 2, with the special exception on linking described in file LICENSE.

About the links above:

Data Structures






These are some of my publications, or teaching material, related to OCaml programming. (My full list of publications is here.)

In French


I like this definition for hacker from Eric Raymond's Jargon File:
Hacker: One who programs enthusiastically (even obsessively) or who enjoys programming rather than just theorizing about programming.

Nice software written in OCaml (by others)

Useful links


Homepage Français OCaml
Jean-Christophe.Filliatre[at]lri.fr (formatted with yamlpp).