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.
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.
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.
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.
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.