MirageOS

Repositories

• index
  OCaml MIT 10 20 3 7 Updated Oct 27, 2020

• ocaml-git

  Pure OCaml Git format and protocol

  git ocaml
  OCaml ISC 57 289 8 1 Updated Oct 27, 2020

• ocaml-cohttp

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

  http unix ocaml http-client lwt
  OCaml 135 510 66 3 Updated Oct 27, 2020

• mirage-solo5

  Solo5 core platform libraries for MirageOS

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

• hacl

  🐫🔑 OCaml bindings for HACL* elliptic curves

  cryptography ocaml elliptic-curves verified f-star
  C 5 16 5 1 Updated Oct 27, 2020

• mirage-dev

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

• fiat

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

• mirage-www

  Website infrastructure and content for mirage.io
  OCaml 95 144 25 1 Updated Oct 27, 2020

• digestif

  Simple hash algorithms in OCaml

  c ocaml hash md5 blake2b sha1 sha256
  OCaml MIT 18 61 4 1 Updated Oct 27, 2020

• mirage-crypto

  Cryptographic primitives for MirageOS

  cryptography aes ocaml rsa sha2 mirageos rng
  OCaml ISC 14 35 7 (2 issues need help) 1 Updated Oct 27, 2020

• irmin

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

  git database storage ocaml mirageos irmin
  OCaml ISC 119 1,371 57 14 Updated Oct 27, 2020

• mirage-xen

  Xen core platform libraries for MirageOS

  xen ocaml mirageos mirage-platform
  C ISC 15 14 1 0 Updated Oct 27, 2020

• qubes-mirage-firewall

  A Mirage firewall VM for QubesOS

  firewall ocaml mirageos unikernel qubesos
  OCaml 24 144 15 (1 issue needs help) 1 Updated Oct 26, 2020

• mirage

  MirageOS is a library operating system that constructs unikernels

  linux xen ocaml opam kvm mirageos unikernel
  OCaml ISC 198 1,527 73 10 Updated Oct 26, 2020

• mirage-kv

  MirageOS signature for key/value stores
  OCaml ISC 9 6 1 1 Updated Oct 24, 2020

• mirage-tcpip

  TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

  tcp udp ocaml icmp ipv4 arp mirageos
  OCaml ISC 68 264 16 4 Updated Oct 24, 2020

• ocaml-gnt

  OCaml bindings to the Xen grant tables libraries
  OCaml 13 8 4 2 Updated Oct 22, 2020

• ocaml-evtchn

  Xen event channel interface for Mirage
  OCaml ISC 11 9 1 2 Updated Oct 22, 2020

• mirage-qubes

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

• ocaml-vchan

  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  OCaml ISC 20 37 6 0 Updated Oct 21, 2020

• mirage-net-xen

  Xen Netfront and Netback ethernet device drivers for Mirage
  OCaml ISC 13 10 1 0 Updated Oct 21, 2020

• mirage-console

  Portable console handling for Mirage applications
  OCaml ISC 16 9 0 0 Updated Oct 21, 2020

• mirage-bootvar-xen

  Library for reading MirageOS unikernel boot parameters in Xen
  OCaml ISC 17 9 0 0 Updated Oct 21, 2020

• mirage-block-xen

  Client and server implementations of the xen paravirtualised block driver protocol
  OCaml ISC 17 7 1 0 Updated Oct 21, 2020

• ocaml-github

  GitHub APIv3 OCaml bindings
  OCaml ISC 52 81 20 1 Updated Oct 21, 2020

• docs

  docs.mirage.io generation scripts
  Shell 6 8 0 1 Updated Oct 21, 2020

• wodan

  A Mirage filesystem library
  OCaml ISC 10 43 26 2 Updated Oct 21, 2020

• repr
  OCaml ISC 2 7 5 0 Updated Oct 21, 2020

• alcotest

  A lightweight and colourful test framework

  unit-testing ocaml
  OCaml ISC 50 237 22 4 Updated Oct 20, 2020

• ocaml-conduit

  Dereference URIs into communication channels for Async or Lwt
  OCaml ISC 59 64 5 1 Updated Oct 20, 2020