MirageOS
MirageOS is a library operating system that constructs unikernels
OCaml 2.9k 263
Irmin is a distributed database that follows the same design principles as Git
OCaml 1.9k 165
Examples of simple MirageOS apps
OCaml 233 100
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
OCaml 354 92
An OCaml library for HTTP clients and servers using Lwt or Async
OCaml 772 184
Website infrastructure and content for mirage.io
HTML 173 108