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

OCaml implementation of the DNS protocol

Pure OCaml implementation of Zlib.

Purely functional SSH library in ocaml.

Freestanding OCaml runtime

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

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

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

Solo5 core platform libraries for MirageOS

Xen core platform libraries for MirageOS

Unix core platform libraries for MirageOS

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml