Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 3k 278

  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 236 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 360 95

  5. ocaml-cohttp ocaml-cohttp Public

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

    OCaml 779 187

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 176 107

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 4 Updated Nov 4, 2026
  • alcotest Public

    A lightweight and colourful test framework

    mirage/alcotest's past year of commit activity
    OCaml 514 ISC 94 38 8 Updated Nov 4, 2026
  • ocaml-unikraft Public

    OCaml cross-compiler to freestanding Unikraft backends

    mirage/ocaml-unikraft's past year of commit activity
    Shell 10 MIT 2 0 4 Updated Nov 4, 2026
  • mirage-www Public

    Website infrastructure and content for mirage.io

    mirage/mirage-www's past year of commit activity
    HTML 176 ISC 107 17 6 Updated Nov 3, 2026
  • mirage-qubes Public

    Mirage support for writing QubesOS AppVM unikernels

    mirage/mirage-qubes's past year of commit activity
    OCaml 66 BSD-2-Clause 11 1 (1 issue needs help) 0 Updated Nov 3, 2026
  • mirage Public

    MirageOS is a library operating system that constructs unikernels

    mirage/mirage's past year of commit activity
    OCaml 3,023 ISC 278 50 12 Updated Nov 1, 2026
  • qubes-mirage-firewall Public

    A Mirage firewall VM for QubesOS

    mirage/qubes-mirage-firewall's past year of commit activity
    OCaml 240 BSD-2-Clause 30 15 (1 issue needs help) 1 Updated Oct 31, 2026
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    mirage/awa-ssh's past year of commit activity
    OCaml 108 ISC 15 3 0 Updated Oct 28, 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 1 1 Updated Oct 28, 2026
  • ocaml-xenstore Public

    A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.

    mirage/ocaml-xenstore's past year of commit activity
    OCaml 8 22 4 0 Updated Oct 28, 2026