MirageOS is a library operating system that constructs unikernels

Irmin is a distributed database that follows the same design principles as Git

A sandboxed execution environment for unikernels

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

TLS in pure OCaml

Examples of simple MirageOS apps

A Mirage firewall VM for QubesOS

Albatross: orchestrate and manage MirageOS unikernels with Solo5

A git-blogging unikernel written using MirageOS

A list about Unikernels

OCaml implementation of the DNS protocol

Purely functional SSH library in ocaml.

Freestanding OCaml runtime

TLS tunnel -- an alternative to stud / stunnel

An opinionated implementation of the OpenVPN protocol

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

Nitrokey NetHSM system software and firmware

[deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library

X509 (RFC5280) handling in OCaml