We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
We've verified that the organization mirage controls the domain:
MirageOS is a library operating system that constructs unikernels
OCaml 2.5k 241
Irmin is a distributed database that follows the same design principles as Git
OCaml 1.8k 154
Examples of simple MirageOS apps
OCaml 216 92
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
OCaml 334 83
An OCaml library for HTTP clients and servers using Lwt or Async
OCaml 690 171
Website infrastructure and content for mirage.io
HTML 170 106
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Hexadecimal converter
CA certificates extracted from NSS, to be used with MirageOS
Constant time equal function to avoid timing attacks in OCaml
Pure OCaml Git format and protocol
Mirage support for writing QubesOS AppVM unikernels
Agnostic benchmark in OCaml (proof-of-concept)
Loading…