There was an error while loading. Please reload this page.
We've verified that the organization mirage controls the domain:
MirageOS is a library operating system that constructs unikernels
OCaml 3k 277
Irmin is a distributed database that follows the same design principles as Git
OCaml 2k 167
Examples of simple MirageOS apps
OCaml 238 100
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
OCaml 359 95
An OCaml library for HTTP clients and servers using Lwt or Async
OCaml 777 184
Website infrastructure and content for mirage.io
HTML 174 108
OCaml implementation of the DNS protocol
Cap'n Proto RPC implementation
A DHCP library in OCaml
CA certificates extracted from NSS, to be used with MirageOS
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
OCaml cross-compiler to freestanding Unikraft backends
Map OCaml arrays onto C-like structs
Portable implementation of the Irmin Watch API