mirage

mirage

MirageOS is a library operating system that constructs unikernels

irmin

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

ocaml-cohttp

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

alcotest

A lightweight and colourful test framework

mirage-skeleton

Examples of simple MirageOS apps

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

mirage-www

Website infrastructure and content for mirage.io

ocaml-dns

OCaml implementation of the DNS protocol

ocaml-solo5

Freestanding OCaml runtime

mirage-crypto

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

charrua

A DHCP library in OCaml

ocaml-tar

Pure OCaml library to read and write tar files

mrmime

What do you mean?

ocaml-base64

Base64 encoding and decoding in OCaml

ocaml-ipaddr

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

index

A platform-agnostic multi-level index

arp

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

mirage-solo5

Solo5 core platform libraries for MirageOS

ocaml-fsevents

macOS bindings to the FSEvents API

retreat-website

Microsite for the MirageOS hack retreats

mirage-net-xen

Xen Netfront and Netback ethernet device drivers for Mirage

mirage-fs

Filesystem and block libraries for Mirage

mirage-kv-mem

MirageOS key value store implementation in memory, not persistent

ocaml-unikraft

OCaml cross-compiler to freestanding Unikraft backends

dns-resolver

ca-certs-nss

CA certificates extracted from NSS, to be used with MirageOS

mirage-ptime

POSIX time functions for MirageOS

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

unikraft-lib-musl

musl: A C standard library

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.