Software

I contribute and maintain to academic and industrial open-source projects on GitHub. See my homepage on Github for the full list of my projects or check below for a selection of my previous and current projects.


GitHub Activity


Selected Projects

2015 — now the Docker platform
Created and maintained by
Context. Docker is an open platform for developers and sysadmins to build, ship, and run distributed applications, whether on laptops, data center VMs, or the cloud. Moby is an open framework created by Docker to assemble specialized container systems without reinventing the wheel. It provides a “lego set” of dozens of standard components and a framework for assembling them into custom platforms.
2008 — now MirageOS
Created and maintained by
Context. MirageOS 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 a Xen or KVM hypervisor.
2012 — now Opam
Created and maintained by
OCamlPro and
Context. Opam is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
2008 — 2012 XenServer
Created and maintained by
Context. XenServer is deployed in over 40,000 companies worldwide, often in mission-critical infrastructure, with the largest single customer having more than 20,000 machines running XenServer. The management tools of XenServer are written in OCaml.