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 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
  • digestif Public

    Simple hash algorithms in OCaml

    mirage/digestif's past year of commit activity
    OCaml 96 MIT 33 6 2 Updated Oct 14, 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 2 Updated Oct 14, 2026
  • unikraft Public Forked from unikraft/unikraft

    A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

    mirage/unikraft's past year of commit activity
    C 1 1,525 0 0 Updated Oct 14, 2026
  • ocaml-dkim Public

    DKIM support on e-mail

    mirage/ocaml-dkim's past year of commit activity
    OCaml 11 MIT 2 2 0 Updated Oct 9, 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 Oct 9, 2026
  • index Public

    A platform-agnostic multi-level index

    mirage/index's past year of commit activity
    OCaml 33 MIT 23 24 10 Updated Oct 9, 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,962 ISC 167 125 22 Updated Oct 9, 2026
  • colombe Public

    Implementation of SMTP protocols in OCaml

    mirage/colombe's past year of commit activity
    OCaml 47 MIT 8 1 0 Updated Oct 7, 2026
  • 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 Oct 6, 2026
  • checkseum Public
    mirage/checkseum's past year of commit activity
    C 16 MIT 12 2 0 Updated Oct 4, 2026
View all repositories