Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.9k 263

  2. irmin irmin Public

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

    OCaml 1.9k 165

  3. mirage-skeleton mirage-skeleton Public

    Examples of simple MirageOS apps

    OCaml 234 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 355 92

  5. ocaml-cohttp ocaml-cohttp Public

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

    OCaml 773 184

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 173 108

Repositories

Showing 10 of 209 repositories
  • colombe Public

    Implementation of SMTP protocols in OCaml

    mirage/colombe’s past year of commit activity
    OCaml 46 MIT 8 1 1 Updated Mar 10, 2026
  • conan Public

    Like detective conan, find clue about the type of the file

    mirage/conan’s past year of commit activity
    OCaml 57 8 2 1 Updated Mar 6, 2026
  • ocaml-dns Public

    OCaml implementation of the DNS protocol

    mirage/ocaml-dns’s past year of commit activity
    OCaml 113 BSD-2-Clause 44 16 3 Updated Mar 5, 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 Mar 3, 2026
  • ocaml-dkim Public

    DKIM support on e-mail

    mirage/ocaml-dkim’s past year of commit activity
    OCaml 11 MIT 2 3 0 Updated Mar 2, 2026
  • irmin.org Public

    Irmin website

    mirage/irmin.org’s past year of commit activity
    CSS 12 ISC 14 10 1 Updated Feb 26, 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,929 ISC 165 122 17 Updated Feb 26, 2026
  • Zarith Public Forked from ocaml/Zarith

    The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

    mirage/Zarith’s past year of commit activity
    OCaml 0 81 2 0 Updated Feb 26, 2026
  • charrua Public

    A DHCP library in OCaml

    mirage/charrua’s past year of commit activity
    OCaml 61 ISC 19 2 1 Updated Feb 25, 2026
  • mirage Public

    MirageOS is a library operating system that constructs unikernels

    mirage/mirage’s past year of commit activity
    OCaml 2,852 ISC 263 50 8 Updated Feb 24, 2026