Repository Index

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

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

• ocaml
• git
• storage
• mirageos

TLS in pure OCaml

• tls
• ocaml
• mirageos
• security

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

OCaml library for reporting metrics to a Prometheus server

• metrics
• mirageos
• ocaml