MirageOS

Repositories

alcotest

A lightweight and colourful test framework

unit-testing ocaml

OCaml ISC 47 220 19 3 Updated Aug 10, 2020

ocaml-git

Pure OCaml Git format and protocol

git ocaml

OCaml ISC 55 283 14 3 Updated Aug 10, 2020

irmin.org

Irmin website

CSS ISC 5 11 10 1 Updated Aug 10, 2020

irmin

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

git database storage ocaml mirageos irmin

OCaml ISC 112 1,332 59 14 Updated Aug 10, 2020

ocaml-hvsock

Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)

OCaml 8 9 0 1 Updated Aug 10, 2020

ocaml-cohttp

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

http unix ocaml http-client lwt

OCaml 130 502 77 9 Updated Aug 8, 2020

mirage-platform

Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.

C 44 81 1 0 Updated Aug 7, 2020

ocaml-dns

OCaml implementation of the DNS protocol

dns ocaml mirageos unikernel

OCaml BSD-2-Clause 35 63 11 1 Updated Aug 7, 2020

awa-ssh

Purely functional SSH library in ocaml.

ssh security cryptography ocaml pure mirageos mirage

OCaml ISC 7 61 3 0 Updated Aug 6, 2020

index

OCaml MIT 9 20 3 4 Updated Aug 6, 2020

mirage

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

OCaml ISC 193 1,500 80 13 Updated Aug 6, 2020

ocaml-uri

RFC3986 URI parsing library for OCaml

url uri ocaml rfc-3986

OCaml 43 72 14 7 Updated Aug 5, 2020

colombe

Implementation of SMTP protocols in OCaml

OCaml MIT 2 25 0 0 Updated Aug 4, 2020

digestif

Simple hash algorithms in OCaml

c ocaml hash md5 blake2b sha1 sha256

OCaml MIT 17 60 4 0 Updated Aug 4, 2020

checkseum

C MIT 4 7 4 0 Updated Aug 4, 2020

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

OCaml ISC 57 60 34 (1 issue needs help) 7 Updated Jul 29, 2020

hacl

🐫🔑 OCaml bindings for HACL* elliptic curves

cryptography ocaml elliptic-curves verified f-star

C 4 15 5 1 Updated Jul 29, 2020

ezjsonm

An easy interface on top of the Jsonm library.

OCaml 15 25 0 1 Updated Jul 28, 2020

encore

Synonym of angkor

memory encoder decoder ocaml angstrom

OCaml MIT 6 18 0 0 Updated Jul 28, 2020

ke

Fast implementation of queue in OCaml

queue ocaml gadt

OCaml MIT 3 26 0 0 Updated Jul 28, 2020

mirage-crypto

Cryptographic primitives for MirageOS

cryptography aes ocaml rsa sha2 mirageos rng

OCaml ISC 11 29 7 (2 issues need help) 0 Updated Jul 27, 2020

mirage-xen

Xen core platform libraries for MirageOS

xen ocaml mirageos mirage-platform

OCaml ISC 13 13 3 1 Updated Jul 25, 2020

ocaml-vchan

Pure OCaml implementation of the "vchan" shared-memory communication protocol

OCaml ISC 19 36 6 1 Updated Jul 24, 2020

mirage-net-xen

Xen Netfront and Netback ethernet device drivers for Mirage

OCaml ISC 12 10 1 1 Updated Jul 24, 2020

mirage-console

Portable console handling for Mirage applications

OCaml ISC 15 9 0 1 Updated Jul 24, 2020

mirage-bootvar-xen

Library for reading MirageOS unikernel boot parameters in Xen

OCaml ISC 16 9 0 1 Updated Jul 24, 2020

mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

OCaml ISC 16 7 1 1 Updated Jul 24, 2020

mirage-dev

Development OPAM repository for work-in-progress packages

Dockerfile 20 15 0 0 Updated Jul 24, 2020

duff

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

git diff fingerprint rabin patch

OCaml MIT 1 9 0 0 Updated Jul 24, 2020

irmin-rpc

RPC client/server for Irmin

rpc irmin capnproto

OCaml ISC 3 13 0 1 Updated Jul 23, 2020