MirageOS is a library operating system that constructs unikernels
OCaml - Released: 04 Dec 2009 - 2,526
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
OCaml - Released: 20 Jun 2012 - 339
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
C - Released: 05 Feb 2020 - 77