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 183

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 174 108

Repositories

Showing 10 of 209 repositories
  • mirage-crypto Public

    Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

    mirage/mirage-crypto’s past year of commit activity
    C 81 ISC 46 19 (11 issues need help) 3 Updated Mar 15, 2026
  • mirage Public

    MirageOS is a library operating system that constructs unikernels

    mirage/mirage’s past year of commit activity
    OCaml 2,854 ISC 263 50 8 Updated Mar 11, 2026
  • charrua Public

    A DHCP library in OCaml

    mirage/charrua’s past year of commit activity
    OCaml 62 ISC 19 3 1 Updated Mar 11, 2026
  • colombe Public

    Implementation of SMTP protocols in OCaml

    mirage/colombe’s past year of commit activity
    OCaml 46 MIT 8 1 1 Updated Mar 11, 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 17 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,930 ISC 165 122 17 Updated Feb 26, 2026

Top languages

Loading…

Most used topics

Loading…