MirageOS is a library operating system that constructs unikernels

Examples of simple MirageOS apps

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

OCaml implementation of the DNS protocol

A Mirage firewall VM for QubesOS

A git-blogging unikernel written using MirageOS

A DHCP library in OCaml

Albatross: orchestrate and manage MirageOS unikernels with Solo5

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

An opinionated implementation of the OpenVPN protocol

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

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

MirageOS unikernels

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

A peer-to-peer file-transfer tool in OCaml

Nitrokey NetHSM system software and firmware

MirageOS IRC daemon.

A port of Eric Lippert's flathead Z-machine interpreter to MirageOS

Implementation of XMPP for MirageOS

A TLS termination proxy as a MirageOS