MirageOS

Repositories

• irmin-watcher

  Portable implementation of the Irmin Watch API
  OCaml ISC 8 10 2 2 Updated Nov 11, 2020

• ocaml-dns

  OCaml implementation of the DNS protocol

  dns ocaml mirageos unikernel
  OCaml BSD-2-Clause 35 64 12 2 Updated Nov 11, 2020

• ocaml-freestanding

  Freestanding OCaml runtime

  ocaml mirageos
  C 23 67 0 5 Updated Nov 11, 2020

• ocaml-hvsock

  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  OCaml 9 9 0 0 Updated Nov 11, 2020

• irmin

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

  git database storage ocaml mirageos irmin
  OCaml ISC 121 1,377 57 16 Updated Nov 10, 2020

• prometheus

  OCaml library for reporting metrics to a Prometheus server

  metrics ocaml mirageos
  OCaml Apache-2.0 10 25 1 0 Updated Nov 9, 2020

• bigarray-compat

  Expose Stdlib.Bigarray when possible but try not to break stuff
  OCaml 3 4 0 0 Updated Nov 9, 2020

• repr
  OCaml ISC 3 12 5 1 Updated Nov 9, 2020

• bloomf

  Bloomf - Efficient Bloom filters for OCaml

  ocaml bloom-filter mirageos
  OCaml MIT 5 27 1 1 Updated Nov 9, 2020

• decompress

  Pure OCaml implementation of Zlib.

  compression ocaml huffman zlib decompression inflate lz77
  OCaml MIT 18 78 4 2 Updated Nov 8, 2020

• ocaml-cohttp

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

  http unix ocaml http-client lwt
  OCaml 138 511 69 0 Updated Nov 7, 2020

• functoria

  A DSL to invoke otherworldly functors
  OCaml ISC 19 57 19 (2 issues need help) 4 Updated Nov 6, 2020

• capnp-rpc

  Cap'n Proto RPC implementation

  ocaml-library rpc-framework capnproto capn-proto
  OCaml 12 62 5 3 Updated Nov 6, 2020

• ocaml-github

  GitHub APIv3 OCaml bindings
  OCaml ISC 52 81 20 2 Updated Nov 6, 2020

• ocaml-git

  Pure OCaml Git format and protocol

  git ocaml
  OCaml ISC 59 292 8 2 Updated Nov 5, 2020

• digestif

  Simple hash algorithms in OCaml

  c ocaml hash md5 blake2b sha1 sha256
  OCaml MIT 19 63 4 1 Updated Nov 5, 2020

• alcotest

  A lightweight and colourful test framework

  unit-testing ocaml
  OCaml ISC 51 242 22 5 Updated Nov 5, 2020

• index
  OCaml MIT 10 20 4 7 Updated Nov 5, 2020

• mirage

  MirageOS is a library operating system that constructs unikernels

  linux xen ocaml opam kvm mirageos unikernel
  OCaml ISC 198 1,539 73 12 Updated Nov 5, 2020

• mirage-crypto

  Cryptographic primitives for MirageOS

  cryptography aes ocaml rsa sha2 mirageos rng
  OCaml ISC 15 36 7 (2 issues need help) 0 Updated Nov 3, 2020

• hacl

  🐫🔑 OCaml bindings for HACL* elliptic curves

  cryptography ocaml elliptic-curves verified f-star
  C 5 18 5 1 Updated Nov 3, 2020

• fiat

  Cryptographic primitives taken from Fiat
  C 6 6 3 1 Updated Nov 3, 2020

• checkseum
  C MIT 4 9 2 0 Updated Nov 3, 2020

• semaphore-compat
  OCaml LGPL-2.1 1 8 0 0 Updated Nov 2, 2020

• ocaml-hex

  Hexadecimal converter
  OCaml 11 17 1 0 Updated Nov 1, 2020

• ocaml-conduit

  Dereference URIs into communication channels for Async or Lwt
  OCaml ISC 60 66 5 1 Updated Nov 1, 2020

• mirage-clock

  Portable clock implementation for Unix and Xen
  OCaml 18 16 1 0 Updated Oct 30, 2020

• qubes-mirage-firewall

  A Mirage firewall VM for QubesOS

  firewall ocaml mirageos unikernel qubesos
  OCaml 24 144 16 (2 issues need help) 1 Updated Oct 29, 2020

• mirage-solo5

  Solo5 core platform libraries for MirageOS

  ocaml mirageos mirage-platform solo5
  C ISC 20 15 1 4 Updated Oct 27, 2020

• mirage-dev

  Development OPAM repository for work-in-progress packages
  Dockerfile 21 15 0 0 Updated Oct 27, 2020