MirageOS

Pinned Loading

  1. MirageOS is a library operating system that constructs unikernels

    OCaml 2.9k 263

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

    OCaml 1.9k 165

  3. Examples of simple MirageOS apps

    OCaml 233 100

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

    OCaml 354 92

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

    OCaml 772 184

  6. Website infrastructure and content for mirage.io

    HTML 173 108