Kubernetes

Kubernetes is an Open Source system for automating deployment, scaling, and management of containerized applications.

MirageOS

MirageOS is a library operating system framework for building secure, high-performance unikernels using the OCaml language.