MirageOS

Repositories

• ocaml-cstruct

  Map OCaml arrays onto C-like structs
  OCaml ISC 48 81 24 3 Updated Sep 14, 2020

• ocaml-cohttp

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

  http unix ocaml http-client lwt
  OCaml 134 503 77 10 Updated Sep 14, 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 262 16 3 Updated Sep 13, 2020

• mirage

  MirageOS is a library operating system that constructs unikernels

  linux xen ocaml opam kvm mirageos unikernel
  OCaml ISC 195 1,518 83 10 Updated Sep 13, 2020

• mirage-stack

  Network stack module type definitions for MirageOS
  OCaml ISC 10 7 0 1 Updated Sep 13, 2020

• mirage-protocols

  Network protocol module type definitions for MirageOS
  OCaml ISC 12 6 2 1 Updated Sep 13, 2020

• irmin

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

  git database storage ocaml mirageos irmin
  OCaml ISC 117 1,360 57 11 Updated Sep 13, 2020

• alcotest

  A lightweight and colourful test framework

  unit-testing ocaml
  OCaml ISC 49 228 20 3 Updated Sep 12, 2020

• ocaml-conduit

  Dereference URIs into communication channels for Async or Lwt
  OCaml ISC 59 60 34 (1 issue needs help) 7 Updated Sep 12, 2020

• ocaml-freestanding

  Freestanding OCaml runtime

  ocaml mirageos
  C 22 67 1 5 Updated Sep 11, 2020

• ocaml-github

  GitHub APIv3 OCaml bindings
  OCaml ISC 52 80 20 0 Updated Sep 10, 2020

• index
  OCaml MIT 10 20 3 4 Updated Sep 10, 2020

• irmin.org

  Irmin website
  CSS ISC 6 11 10 1 Updated Sep 10, 2020

• encore

  Synonym of angkor

  memory encoder decoder ocaml angstrom
  OCaml MIT 7 19 0 0 Updated Sep 8, 2020

• awa-ssh

  Purely functional SSH library in ocaml.

  ssh security cryptography ocaml pure mirageos mirage
  OCaml ISC 8 61 3 1 Updated Sep 8, 2020

• mirage-solo5

  Solo5 core platform libraries for MirageOS

  ocaml mirageos mirage-platform solo5
  C ISC 18 13 0 4 Updated Sep 7, 2020

• mirage-net-solo5

  Solo5 implementation of MirageOS network interface
  OCaml ISC 8 5 0 0 Updated Sep 4, 2020

• ocaml-git

  Pure OCaml Git format and protocol

  git ocaml
  OCaml ISC 57 285 10 1 Updated Sep 2, 2020

• mirage-crypto

  Cryptographic primitives for MirageOS

  cryptography aes ocaml rsa sha2 mirageos rng
  OCaml ISC 12 34 7 (2 issues need help) 0 Updated Aug 30, 2020

• docs

  docs.mirage.io generation scripts
  Shell 5 7 0 0 Updated Aug 28, 2020

• bloomf

  Bloomf - Efficient Bloom filters for OCaml

  ocaml bloom-filter mirageos
  OCaml MIT 5 24 1 2 Updated Aug 26, 2020

• qubes-mirage-firewall

  A Mirage firewall VM for QubesOS

  firewall ocaml mirageos unikernel qubesos
  OCaml 24 140 15 (1 issue needs help) 2 Updated Aug 19, 2020

• ocaml-hvsock

  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  OCaml 9 9 0 1 Updated Aug 10, 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 45 81 1 0 Updated Aug 7, 2020

• ocaml-dns

  OCaml implementation of the DNS protocol

  dns ocaml mirageos unikernel
  OCaml BSD-2-Clause 36 64 11 1 Updated Aug 7, 2020

• ocaml-uri

  RFC3986 URI parsing library for OCaml

  url uri ocaml rfc-3986
  OCaml 45 72 14 7 Updated Aug 5, 2020

• colombe

  Implementation of SMTP protocols in OCaml
  OCaml MIT 3 25 0 0 Updated Aug 4, 2020

• digestif

  Simple hash algorithms in OCaml

  c ocaml hash md5 blake2b sha1 sha256
  OCaml MIT 18 60 4 0 Updated Aug 4, 2020

• checkseum
  C MIT 5 7 4 0 Updated Aug 4, 2020

• hacl

  🐫🔑 OCaml bindings for HACL* elliptic curves

  cryptography ocaml elliptic-curves verified f-star
  C 5 16 5 1 Updated Jul 29, 2020