MirageOS

Repositories

• irmin

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

  git database storage ocaml mirageos irmin
  OCaml ISC 124 1,386 56 17 Updated Dec 3, 2020

• ocaml-conduit

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

• capnp-rpc

  Cap'n Proto RPC implementation

  ocaml-library rpc-framework capnproto capn-proto
  OCaml 12 63 5 4 Updated Dec 2, 2020

• mirage

  MirageOS is a library operating system that constructs unikernels

  linux xen ocaml opam kvm mirageos unikernel
  OCaml ISC 198 1,548 69 12 Updated Dec 2, 2020

• mirage-skeleton

  Examples of simple MirageOS apps

  examples ocaml mirageos unikernel
  OCaml Unlicense 80 161 4 2 Updated Dec 2, 2020

• mirage-qubes

  Mirage support for writing QubesOS AppVM unikernels
  OCaml BSD-2-Clause 9 49 2 (1 issue needs help) 1 Updated Dec 2, 2020

• ocaml-gmp

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

• index
  OCaml MIT 10 20 4 8 Updated Dec 1, 2020

• repr
  OCaml ISC 4 15 7 3 Updated Dec 1, 2020

• ocaml-base64

  Base64 encoding and decoding in OCaml
  OCaml ISC 18 30 2 2 Updated Nov 30, 2020

• mirage-nat

  library for network address translation intended for use with mirage unikernels
  OCaml ISC 13 26 0 0 Updated Nov 30, 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 70 271 13 1 Updated Nov 30, 2020

• decompress

  Pure OCaml implementation of Zlib.

  compression ocaml huffman zlib decompression inflate lz77
  OCaml MIT 18 80 3 1 Updated Nov 28, 2020

• ocaml-uri

  RFC3986 URI parsing library for OCaml

  url uri ocaml rfc-3986
  OCaml 46 76 14 3 Updated Nov 27, 2020

• ocaml-xenstore

  A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
  OCaml 16 7 4 0 Updated Nov 27, 2020

• ocaml-git

  Pure OCaml Git format and protocol

  git ocaml
  OCaml ISC 59 292 8 3 Updated Nov 27, 2020

• colombe

  Implementation of SMTP protocols in OCaml
  OCaml MIT 3 32 1 0 Updated Nov 27, 2020

• mrmime

  What do you mean?
  OCaml MIT 7 25 3 0 Updated Nov 27, 2020

• ocaml-cohttp

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

  http unix ocaml http-client lwt
  OCaml 138 513 69 0 Updated Nov 26, 2020

• pecu

  Implementation of quoted-printable encoder/decoder from RFC2045
  OCaml MIT 2 3 0 0 Updated Nov 26, 2020

• hacl

  🐫🔑 OCaml bindings for HACL* elliptic curves

  cryptography ocaml elliptic-curves verified f-star
  C 5 19 5 1 Updated Nov 26, 2020

• ocaml-9p

  An OCaml/Mirage-friendly implementation of the 9P protocol
  OCaml ISC 21 53 5 1 Updated Nov 25, 2020

• ocaml-fat

  Read and write FAT format filesystems from OCaml
  OCaml ISC 14 16 4 0 Updated Nov 25, 2020

• mirage-protocols

  Network protocol module type definitions for MirageOS
  OCaml ISC 12 6 2 0 Updated Nov 25, 2020

• arp

  Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

  network ocaml arp mirageos unikernel address-resolution-protocol
  OCaml 5 17 0 0 Updated Nov 25, 2020

• conan

  Like detective conan, find clue about the type of the file

  file mime
  OCaml 1 16 1 0 Updated Nov 25, 2020

• charrua

  A DHCP library in OCaml

  ocaml unikernel dhcp-server mirage dhcp-library
  OCaml ISC 14 53 2 1 Updated Nov 25, 2020

• qubes-mirage-skeleton

  An example Mirage unikernel that runs as a Qubes AppVM
  OCaml 6 20 2 1 Updated Nov 25, 2020

• ocaml-cstruct

  Map OCaml arrays onto C-like structs
  OCaml ISC 48 81 24 1 Updated Nov 25, 2020

• mirage-clock

  Portable clock implementation for Unix and Xen
  OCaml 18 16 1 1 Updated Nov 25, 2020