Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 3k 277

  2. irmin irmin Public

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

    OCaml 2k 167

  3. mirage-skeleton mirage-skeleton Public

    Examples of simple MirageOS apps

    OCaml 238 100

  4. mirage-tcpip mirage-tcpip Public

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

    OCaml 359 95

  5. ocaml-cohttp ocaml-cohttp Public

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

    OCaml 777 184

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 174 108

Repositories

Showing 10 of 210 repositories
  • ocaml-dns Public

    OCaml implementation of the DNS protocol

    mirage/ocaml-dns's past year of commit activity
    OCaml 120 BSD-2-Clause 46 17 3 Updated Sep 13, 2026
  • capnp-rpc Public

    Cap'n Proto RPC implementation

    mirage/capnp-rpc's past year of commit activity
    OCaml 117 23 6 3 Updated Sep 13, 2026
  • charrua Public

    A DHCP library in OCaml

    mirage/charrua's past year of commit activity
    OCaml 64 ISC 20 2 2 Updated Sep 11, 2026
  • ca-certs-nss Public

    CA certificates extracted from NSS, to be used with MirageOS

    mirage/ca-certs-nss's past year of commit activity
    OCaml 7 ISC 2 2 0 Updated Sep 11, 2026
  • mirage-crypto Public

    Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

    mirage/mirage-crypto's past year of commit activity
    C 82 47 21 (11 issues need help) 5 Updated Sep 10, 2026
  • ocaml-unikraft Public

    OCaml cross-compiler to freestanding Unikraft backends

    mirage/ocaml-unikraft's past year of commit activity
    OCaml 10 MIT 2 1 4 Updated Sep 10, 2026
  • ocaml-cohttp Public

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

    mirage/ocaml-cohttp's past year of commit activity
    OCaml 777 184 91 14 Updated Sep 8, 2026
  • ocaml-cstruct Public

    Map OCaml arrays onto C-like structs

    mirage/ocaml-cstruct's past year of commit activity
    OCaml 115 ISC 50 26 10 Updated Sep 5, 2026
  • irmin-watcher Public

    Portable implementation of the Irmin Watch API

    mirage/irmin-watcher's past year of commit activity
    OCaml 17 ISC 17 7 2 Updated Sep 2, 2026
  • irmin Public

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

    mirage/irmin's past year of commit activity
    OCaml 1,958 ISC 167 124 23 Updated Sep 2, 2026