reynir

mirage-block-partition

Partition a Mirage block device into two block devices

gptar

GPT + TAR header

oneffs

Single file filesystem for MirageOS - mirror

miragevpn

An opinionated implementation of the OpenVPN protocol

ocaml-cert-pubkey-fp

opam-repository

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

python-str-repr

Python's str.__repr__() in OCaml

awa-ssh

Purely functional SSH library in ocaml.

builder

Scheduling build jobs on regular intervals, collecting artifacts

Canopy

A git-blogging unikernel written using MirageOS

decompress

Pure OCaml implementation of Zlib.

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

MirageOS is a library operating system that constructs unikernels

mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

mirage-crypto

Cryptographic primitives for MirageOS

ocaml-ipaddr

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

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

opam-monorepo

Assemble dune workspaces to build your project and its dependencies as a whole

openvpn

OpenVPN is an open source VPN daemon

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.

solo5

The Solo5 unikernel

yocaml

YOCaml is a static site generator, mostly written in OCaml