MirageOS

Repositories

• alcotest

  A lightweight and colourful test framework

  unit-testing ocaml
  OCaml ISC 48 206 18 1 Updated May 22, 2020

• decompress

  Pure OCaml implementation of Zlib.

  compression ocaml huffman zlib decompression inflate lz77
  OCaml MIT 14 68 5 1 Updated May 22, 2020

• capnp-rpc

  Cap'n Proto RPC implementation

  ocaml-library rpc-framework capnproto capn-proto
  OCaml 10 57 5 3 Updated May 22, 2020

• mirage-skeleton

  Examples of simple MirageOS apps

  examples ocaml mirageos unikernel
  OCaml Unlicense 78 148 4 1 Updated May 22, 2020

• ocaml-conduit

  Dereference URIs into communication channels for Async or Lwt
  OCaml ISC 57 57 35 (1 issue needs help) 5 Updated May 22, 2020

• retreat.mirage.io

  Microsite for the MirageOS hack retreats
  OCaml 3 8 0 0 Updated May 21, 2020

• mirage-www

  Website infrastructure and content for mirage.io
  OCaml 92 142 27 2 Updated May 20, 2020

• qubes-mirage-firewall

  A Mirage firewall VM for QubesOS

  firewall ocaml mirageos unikernel qubesos
  OCaml 21 134 11 2 Updated May 19, 2020

• irmin

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

  git database storage ocaml mirageos irmin
  OCaml ISC 106 1,300 60 16 Updated May 18, 2020

• mirage

  MirageOS is a library operating system that constructs unikernels

  linux xen ocaml opam kvm mirageos unikernel
  OCaml ISC 192 1,463 81 9 Updated May 18, 2020

• mirage-crypto

  Cryptographic primitives for MirageOS

  cryptography aes ocaml rsa sha2 mirageos rng
  OCaml ISC 10 26 7 (2 issues need help) 1 Updated May 18, 2020

• colombe

  Implementation of SMTP protocols in OCaml
  OCaml MIT 2 16 0 0 Updated May 17, 2020

• index
  OCaml MIT 8 17 3 5 Updated May 17, 2020

• mirage-nat

  library for network address translation intended for use with mirage unikernels
  OCaml ISC 13 26 0 0 Updated May 15, 2020

• mirage-block-unix

  Unix implementation of the Mirage_types.BLOCK interface
  OCaml ISC 16 8 0 2 Updated May 14, 2020

• mirage-unix

  Unix core platform libraries for MirageOS

  unix ocaml mirageos mirage-platform
  OCaml ISC 7 9 0 1 Updated May 14, 2020

• hacl

  🐫🔑 OCaml bindings for HACL* elliptic curves

  cryptography ocaml elliptic-curves verified f-star
  C 3 14 4 1 Updated May 14, 2020

• mirage-qubes

  Mirage support for writing QubesOS AppVM unikernels
  OCaml BSD-2-Clause 9 47 4 (1 issue needs help) 0 Updated May 13, 2020

• irmin-rpc

  RPC client/server for Irmin

  rpc irmin capnproto
  OCaml ISC 2 13 0 1 Updated May 13, 2020

• mirage-vnetif

  Virtual network interface and software bridge for Mirage
  OCaml ISC 8 13 7 0 Updated May 13, 2020

• ocaml-git

  Pure OCaml Git format and protocol

  git ocaml
  OCaml ISC 54 280 13 4 Updated May 12, 2020

• mrmime

  What do you mean?
  OCaml MIT 4 21 3 0 Updated May 12, 2020

• charrua

  A DHCP library in OCaml

  ocaml unikernel dhcp-server mirage dhcp-library
  OCaml ISC 14 54 3 2 Updated May 11, 2020

• mirage-www-deployment

  Deployed binaries of mirage-www (a binary repository)
  OCaml 5 5 0 0 Updated May 9, 2020

• metrics

  Infrastructure to collect metrics from OCaml applications.
  OCaml ISC 6 27 1 0 Updated May 9, 2020

• fiat

  Cryptographic primitives taken from Fiat
  C 5 6 3 1 Updated May 9, 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 1 Updated May 9, 2020

• encore

  Synonym of angkor

  memory encoder decoder ocaml angstrom
  OCaml MIT 6 17 0 0 Updated May 8, 2020

• ocaml-freestanding

  Freestanding OCaml runtime

  ocaml mirageos
  C 19 65 1 0 Updated May 6, 2020

• ocaml-cohttp

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

  http unix ocaml http-client lwt
  OCaml 126 491 75 9 Updated May 6, 2020