Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.7k 254

  2. irmin irmin Public

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

    OCaml 1.9k 159

  3. mirage-skeleton mirage-skeleton Public

    Examples of simple MirageOS apps

    OCaml 230 97

  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 343 87

  5. ocaml-cohttp ocaml-cohttp Public

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

    OCaml 736 177

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 171 108

Repositories

Showing 10 of 209 repositories
  • dream Public Forked from aantron/dream

    Tidy, feature-complete Web framework

    mirage/dream’s past year of commit activity
    OCaml 0 MIT 150 0 0 Updated May 20, 2025
  • ocaml-qcow Public

    Pure OCaml code for parsing, printing, modifying .qcow format data

    mirage/ocaml-qcow’s past year of commit activity
    OCaml 19 20 8 1 Updated May 20, 2025
  • mirage-block-ramdisk Public

    A simple in-memory BLOCK device

    mirage/mirage-block-ramdisk’s past year of commit activity
    OCaml 7 7 0 0 Updated May 19, 2025
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    mirage/awa-ssh’s past year of commit activity
    OCaml 103 ISC 13 4 1 Updated May 18, 2025
  • mirage Public

    MirageOS is a library operating system that constructs unikernels

    mirage/mirage’s past year of commit activity
    OCaml 2,674 ISC 254 47 9 Updated May 18, 2025
  • ocaml-unikraft Public

    OCaml cross-compiler to freestanding Unikraft backends

    mirage/ocaml-unikraft’s past year of commit activity
    Makefile 1 MIT 0 0 0 Updated May 15, 2025
  • mirage-crypto Public

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

    mirage/mirage-crypto’s past year of commit activity
    C 78 ISC 44 19 (11 issues need help) 2 Updated May 15, 2025
  • ocaml-git Public

    Pure OCaml Git format and protocol

    mirage/ocaml-git’s past year of commit activity
    OCaml 364 ISC 69 13 6 Updated May 14, 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 May 13, 2025
  • 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,455 0 0 Updated May 12, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…