Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 3k 276

  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 779 185

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 174 108

Repositories

Showing 10 of 210 repositories
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    mirage/awa-ssh's past year of commit activity
    OCaml 108 ISC 15 3 3 Updated Sep 30, 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 30, 2026
  • decompress Public

    Pure OCaml implementation of Zlib.

    mirage/decompress's past year of commit activity
    OCaml 119 MIT 19 7 3 Updated Sep 30, 2026
  • ocaml-unikraft Public

    OCaml cross-compiler to freestanding Unikraft backends

    mirage/ocaml-unikraft's past year of commit activity
    OCaml 10 MIT 2 0 4 Updated Sep 29, 2026
  • checkseum Public
    mirage/checkseum's past year of commit activity
    C 16 MIT 12 3 1 Updated Sep 28, 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 28, 2026
  • mrmime Public

    What do you mean?

    mirage/mrmime's past year of commit activity
    OCaml 48 MIT 11 6 0 Updated Sep 28, 2026
  • digestif Public

    Simple hash algorithms in OCaml

    mirage/digestif's past year of commit activity
    OCaml 96 MIT 32 7 2 Updated Sep 25, 2026
  • mirage-net-xen Public

    Xen Netfront and Netback ethernet device drivers for Mirage

    mirage/mirage-net-xen's past year of commit activity
    OCaml 13 ISC 16 2 2 Updated Sep 16, 2026
  • charrua Public

    A DHCP library in OCaml

    mirage/charrua's past year of commit activity
    OCaml 64 ISC 20 2 1 Updated Sep 15, 2026

Top languages

Loading…

Most used topics

Loading…