MirageOS

Repositories

• irmin-rpc

  RPC client/server for Irmin

  rpc irmin capnproto
  OCaml ISC 5 16 0 2 Updated Jan 19, 2021

• irmin

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

  git database storage ocaml mirageos irmin
  OCaml ISC 126 1,405 63 20 Updated Jan 18, 2021

• semaphore-compat
  OCaml LGPL-2.1 1 8 0 1 Updated Jan 18, 2021

• ocaml-dns

  OCaml implementation of the DNS protocol

  dns ocaml mirageos unikernel
  OCaml BSD-2-Clause 35 69 11 2 Updated Jan 18, 2021

• repr
  OCaml ISC 5 17 7 1 Updated Jan 18, 2021

• ocaml-ipaddr

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

  ipv6 ocaml ipv4 ip-address mac-address
  OCaml ISC 20 32 12 1 Updated Jan 18, 2021

• ocaml-git

  Pure OCaml Git format and protocol

  git ocaml
  OCaml ISC 59 298 10 2 Updated Jan 18, 2021

• alcotest

  A lightweight and colourful test framework

  unit-testing ocaml
  OCaml ISC 52 245 21 4 Updated Jan 18, 2021

• hacl

  🐫🔑 OCaml bindings for HACL* elliptic curves

  cryptography ocaml elliptic-curves verified f-star
  C 6 21 5 1 Updated Jan 18, 2021

• ezjsonm

  An easy interface on top of the Jsonm library.
  OCaml 18 30 2 3 Updated Jan 16, 2021

• ocaml-freestanding

  Freestanding OCaml runtime

  ocaml mirageos
  C 25 72 0 5 Updated Jan 15, 2021

• decompress

  Pure OCaml implementation of Zlib.

  compression ocaml huffman zlib decompression inflate lz77
  OCaml MIT 19 83 6 2 Updated Jan 13, 2021

• index
  OCaml MIT 11 25 7 5 Updated Jan 12, 2021

• mirage-solo5

  Solo5 core platform libraries for MirageOS

  ocaml mirageos mirage-platform solo5
  C ISC 20 15 1 4 Updated Jan 11, 2021

• mirage-xen

  Xen core platform libraries for MirageOS

  xen ocaml mirageos mirage-platform
  C ISC 15 14 1 0 Updated Jan 11, 2021

• awa-ssh

  Purely functional SSH library in ocaml.

  ssh security cryptography ocaml pure mirageos mirage
  OCaml ISC 8 67 2 0 Updated Jan 7, 2021

• mirage-block-unix

  Unix implementation of the Mirage_types.BLOCK interface
  OCaml ISC 19 9 0 2 Updated Jan 6, 2021

• ocaml-uri

  RFC3986 URI parsing library for OCaml

  url uri ocaml rfc-3986
  OCaml 46 76 14 3 Updated Jan 5, 2021

• ocaml-magic-mime

  Convert file extensions to MIME types
  OCaml ISC 10 15 1 0 Updated Jan 5, 2021

• mirage-crypto

  Cryptographic primitives for MirageOS

  cryptography aes ocaml rsa sha2 mirageos rng
  OCaml ISC 16 38 9 (4 issues need help) 0 Updated Jan 5, 2021

• qubes-mirage-firewall

  A Mirage firewall VM for QubesOS

  firewall ocaml mirageos unikernel qubesos
  OCaml 25 145 19 (2 issues need help) 1 Updated Dec 31, 2020

• capnp-rpc

  Cap'n Proto RPC implementation

  ocaml-library rpc-framework capnproto capn-proto
  OCaml 13 64 5 2 Updated Dec 28, 2020

• prometheus

  OCaml library for reporting metrics to a Prometheus server

  metrics ocaml mirageos
  OCaml Apache-2.0 10 25 1 0 Updated Dec 22, 2020

• ca-certs-nss

  CA certificates extracted from NSS, to be used with MirageOS
  OCaml ISC 1 5 1 0 Updated Dec 20, 2020

• ocaml-github

  GitHub APIv3 OCaml bindings
  OCaml ISC 54 83 20 1 Updated Dec 16, 2020

• irmin.org

  Irmin website
  CSS ISC 6 11 10 3 Updated Dec 11, 2020

• ocaml-gmp

  GMP in a dune wrapper
  Shell 1 6 0 0 Updated Dec 11, 2020

• ocaml-conduit

  Dereference URIs into communication channels for Async or Lwt
  OCaml ISC 61 67 10 4 Updated Dec 8, 2020

• mirage-www

  Website infrastructure and content for mirage.io
  OCaml 94 145 24 1 Updated Dec 8, 2020

• wodan

  A Mirage filesystem library
  OCaml ISC 11 43 26 2 Updated Dec 5, 2020