Jacques Garrigue

lablgtk. LablGTK 2 and 3: an interface to the GIMP Tool Kit

certint. A Certified Interpreter for ML with Structural Polymorphism

labltk. LablTk, an OCaml interface for Tcl/Tk

lablgl. LablGL: an openGL interface for OCaml

safeio. An encoding of file handles ensuring linear use

mixev. Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"

schedule_parser. Tool to produce programme from researchr data.

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

ocaml. The core OCaml system: compilers, runtime system, base libraries