An OCaml-based programming framework for building type-safe, modular systems.
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 OS X, and then compiled into a fully-standalone, specialised unikernel that runs under the Xen hypervisor.
