MirageOS is a library operating system that constructs unikernels

• UpdatedMar 4, 2025
• OCaml

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

• UpdatedMar 5, 2025
• OCaml

A sandboxed execution environment for unikernels

• UpdatedMar 6, 2025
• C

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

• UpdatedFeb 6, 2025
• OCaml

TLS in pure OCaml

• UpdatedFeb 6, 2025
• OCaml

Examples of simple MirageOS apps

• UpdatedMar 4, 2025
• OCaml

A Mirage firewall VM for QubesOS

• UpdatedMar 18, 2025
• OCaml

Albatross: orchestrate and manage MirageOS unikernels with Solo5

• UpdatedFeb 11, 2025
• OCaml

A git-blogging unikernel written using MirageOS

• UpdatedNov 17, 2023
• OCaml

A list about Unikernels

• UpdatedSep 14, 2023

OCaml implementation of the DNS protocol

• UpdatedFeb 21, 2025
• OCaml

Purely functional SSH library in ocaml.

• UpdatedFeb 5, 2025
• OCaml

Freestanding OCaml runtime

• UpdatedMar 13, 2025
• C

TLS tunnel -- an alternative to stud / stunnel

• UpdatedFeb 15, 2023
• OCaml

An opinionated implementation of the OpenVPN protocol

• UpdatedMar 10, 2025
• OCaml

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

• UpdatedMar 18, 2025
• C

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

• UpdatedMar 17, 2025
• OCaml

Nitrokey NetHSM system software and firmware

• UpdatedMar 18, 2025
• OCaml

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

• UpdatedJun 27, 2019
• OCaml

X509 (RFC5280) handling in OCaml

• UpdatedDec 17, 2024
• OCaml