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.

A Mirage firewall VM for QubesOS

Examples of simple MirageOS apps

Pure OCaml implementation of Zlib.

OCaml implementation of the DNS protocol

Freestanding OCaml runtime

Purely functional SSH library in ocaml.

RFC3986 URI parsing library for OCaml

Simple hash algorithms in OCaml

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

A DHCP library in OCaml

OCaml library for reporting metrics to a Prometheus server

Fast implementation of queue in OCaml

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

Efficient Bloom filters for OCaml

Synonym of angkor

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

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

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

Solo5 core platform libraries for MirageOS

Parsing of the Content-Type header in pure OCaml

Xen core platform libraries for MirageOS

Unix core platform libraries for MirageOS

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml