Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.7k 253

  2. irmin irmin Public

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

    OCaml 1.9k 160

  3. mirage-skeleton mirage-skeleton Public

    Examples of simple MirageOS apps

    OCaml 231 98

  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 344 88

  5. ocaml-cohttp ocaml-cohttp Public

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

    OCaml 745 179

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 171 109

Repositories

Showing 10 of 209 repositories
  • ocaml-unikraft Public

    OCaml cross-compiler to freestanding Unikraft backends

    mirage/ocaml-unikraft’s past year of commit activity
    Shell 2 MIT 0 0 0 Updated Jul 2, 2025
  • 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 6 ISC 2 2 0 Updated Jul 2, 2025
  • ocaml-dns Public

    OCaml implementation of the DNS protocol

    mirage/ocaml-dns’s past year of commit activity
    OCaml 106 BSD-2-Clause 44 22 5 Updated Jun 30, 2025
  • ocaml-gpt Public

    A simple library for manipulating GUID partition tables

    mirage/ocaml-gpt’s past year of commit activity
    OCaml 13 ISC 1 1 0 Updated Jun 26, 2025
  • mirage-block-unikraft Public

    Unikraft implementation of MirageOS block interface

    mirage/mirage-block-unikraft’s past year of commit activity
    C 2 BSD-3-Clause 0 0 0 Updated Jun 26, 2025
  • mirage-net-unikraft Public

    Unikraft implementation of MirageOS network interface

    mirage/mirage-net-unikraft’s past year of commit activity
    C 3 BSD-3-Clause 0 0 0 Updated Jun 26, 2025
  • mirage-unikraft Public

    Unikraft core platform libraries for MirageOS

    mirage/mirage-unikraft’s past year of commit activity
    OCaml 2 MIT 0 0 0 Updated Jun 26, 2025
  • 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,885 ISC 160 117 15 Updated Jun 24, 2025
  • ocaml-9p Public

    An OCaml/Mirage-friendly implementation of the 9P protocol

    mirage/ocaml-9p’s past year of commit activity
    OCaml 65 ISC 20 5 0 Updated Jun 23, 2025
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    mirage/awa-ssh’s past year of commit activity
    OCaml 103 ISC 14 3 0 Updated Jun 17, 2025
View all repositories

Top languages

Loading…