reynir

mirage-block-partition

Partition a Mirage block device into two block devices

gptar

GPT + TAR header

oneffs

Single file filesystem for MirageOS - mirror

awa-ssh

Purely functional SSH library in ocaml.

Canopy

A git-blogging unikernel written using MirageOS

decompress

Pure OCaml implementation of Zlib.

miragevpn

An opinionated implementation of the OpenVPN protocol

ocaml-cert-pubkey-fp

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

python-str-repr

Python's str.__repr__() in OCaml

builder

Scheduling build jobs on regular intervals, collecting artifacts

digestif

Simple hash algorithms in OCaml

dune

A composable build system for OCaml.

http-lwt-client

A HTTP client using HTTP/AF and lwt

malfunction

Malfunctional Programming

mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

mirage-crypto

Cryptographic primitives for MirageOS

ocaml-cstruct

Map OCaml arrays onto C-like structs

ocaml-mbr

A simple library for manipulating Master Boot Records

ocaml-tls

TLS in pure OCaml

ocaml-tuntap

Bindings to UNIX tuntap facilities

ocaml-x509

X509 (RFC5280) handling in OCaml

openvpn

OpenVPN is an open source VPN daemon

rawlink

An ocaml library for using BPF/AF_SOCKET in a platform independent way.

retreat.mirage.io

Microsite for the MirageOS hack retreats

sarif

Static Analysis Results Interchange Format (SARIF) For OCaml

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

slipshow

An engine for displaying slips, the next-gen version of slides

solo5

The Solo5 unikernel