mirage

MirageOS is a library operating system that constructs unikernels

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

An OCaml library for HTTP clients and servers using Lwt or Async

A lightweight and colourful test framework

Pure OCaml Git format and protocol

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

Examples of simple MirageOS apps

A Mirage firewall VM for QubesOS

Pure OCaml implementation of Zlib.

OCaml implementation of the DNS protocol

Purely functional SSH library in ocaml.

Freestanding OCaml runtime

RFC3986 URI parsing library for OCaml

Simple hash algorithms in OCaml

Cryptographic primitives for MirageOS

A DHCP library in OCaml

Fast implementation of queue in OCaml

OCaml library for reporting metrics to a Prometheus server

A library for manipulation of IP (and MAC) address representations

Efficient Bloom filters for OCaml

Synonym of angkor

OCaml code for generating and analysing pcap (packet capture) files

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

Parsing of the Content-Type header in pure OCaml

Xen core platform libraries for MirageOS

Solo5 core platform libraries for MirageOS

Unix core platform libraries for MirageOS

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml