The Caml Language

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

Libraries

Applications

Algorithmic

Games

Publications

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

In French

Miscellaneous


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

Jokes


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