MirageOS

Repositories

• irmin.org

  Irmin website
  CSS ISC 5 11 10 2 Updated Jun 7, 2020

• mirage-block-ramdisk

  A simple in-memory BLOCK device
  OCaml 6 6 0 0 Updated Jun 6, 2020

• mrmime

  What do you mean?
  OCaml MIT 5 21 4 1 Updated Jun 6, 2020

• ocaml-qcow

  Pure OCaml code for parsing, printing, modifying .qcow format data
  OCaml 12 15 9 2 Updated Jun 6, 2020

• ocaml-cohttp

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

  http unix ocaml http-client lwt
  OCaml 127 495 76 11 Updated Jun 5, 2020

• mirage

  MirageOS is a library operating system that constructs unikernels

  linux xen ocaml opam kvm mirageos unikernel
  OCaml ISC 192 1,477 83 11 Updated Jun 5, 2020

• mirage-solo5

  Solo5 core platform libraries for MirageOS

  ocaml mirageos mirage-platform solo5
  C ISC 16 13 0 1 Updated Jun 5, 2020

• alcotest

  A lightweight and colourful test framework

  unit-testing ocaml
  OCaml ISC 47 208 19 2 Updated Jun 5, 2020

• colombe

  Implementation of SMTP protocols in OCaml
  OCaml MIT 2 19 1 0 Updated Jun 5, 2020

• mirage-dev

  Development OPAM repository for work-in-progress packages
  Dockerfile 20 15 0 0 Updated Jun 4, 2020

• ocaml-conduit

  Dereference URIs into communication channels for Async or Lwt
  OCaml ISC 57 57 35 (1 issue needs help) 6 Updated Jun 4, 2020

• mirage-nat

  library for network address translation intended for use with mirage unikernels
  OCaml ISC 12 26 0 0 Updated Jun 4, 2020

• awa-ssh

  Purely functional SSH library in ocaml.

  ssh security cryptography ocaml pure mirageos mirage
  OCaml ISC 7 60 1 1 Updated Jun 3, 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,304 60 16 Updated Jun 3, 2020

• encore

  Synonym of angkor

  memory encoder decoder ocaml angstrom
  OCaml MIT 6 18 0 0 Updated Jun 3, 2020

• ocaml-rpc

  Light library to deal with RPCs in OCaml
  OCaml ISC 27 73 6 (1 issue needs help) 1 Updated Jun 2, 2020

• ocaml-dns

  OCaml implementation of the DNS protocol

  dns ocaml mirageos unikernel
  OCaml BSD-2-Clause 35 62 10 1 Updated Jun 2, 2020

• mirage-www

  Website infrastructure and content for mirage.io
  OCaml 93 142 27 1 Updated Jun 2, 2020

• bloomf

  Bloomf - Efficient Bloom filters for OCaml

  ocaml bloom-filter mirageos
  OCaml MIT 3 23 0 1 Updated May 30, 2020

• index
  OCaml MIT 8 17 3 6 Updated May 29, 2020

• ocaml-cstruct

  Map OCaml arrays onto C-like structs
  OCaml ISC 47 75 25 3 Updated May 26, 2020

• capnp-rpc

  Cap'n Proto RPC implementation

  ocaml-library rpc-framework capnproto capn-proto
  OCaml 10 58 5 2 Updated May 24, 2020

• decompress

  Pure OCaml implementation of Zlib.

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

• mirage-skeleton

  Examples of simple MirageOS apps

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

• retreat.mirage.io

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

• qubes-mirage-firewall

  A Mirage firewall VM for QubesOS

  firewall ocaml mirageos unikernel qubesos
  OCaml 21 135 12 1 Updated May 19, 2020

• mirage-crypto

  Cryptographic primitives for MirageOS

  cryptography aes ocaml rsa sha2 mirageos rng
  OCaml ISC 10 27 8 (2 issues need help) 1 Updated May 18, 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