Current Projects


Mirage OS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or MacOS X, and then compiled into a fully-standalone, specialised unikernel that runs under the Xen hypervisor. [website][paper][mirage.git]


Irmin is a library database that takes the principles behind tools like Git and applies them to the wider problem of storing and syncing our data. This allows the possibility for all software using the Irmin layer to remain in sync as changes can be pushed directly from one location to another. It also allows the possibility of reverting to previous versions of any content as all history is also preserved. [intro][irmin.git]


OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. It is the default package manager when using OCaml. [website][opam.git]

Past Projects


Xen API (or xapi) is a management stack that configures and controls Xen-enabled hosts and resource pools, and co-ordinates resources within the pool. Xapi exposes the Xen API interface for many languages and is a component of Citrix XenServer. Xen API is written mostly in OCaml. [website][xapi-project.git]


An ML-to-Scheme compiler, initially written by and few decades ago. [website][camloo.git]

DistriL / Scenario Doctor / ADEx

A set of tools that I developped during my Ph.D thesis, to deal with diagnostic and monitoring of distributed systems. [DistriL.tgz][SD.tgz][aDEx.tgz]