Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.7k 254

  2. irmin Public

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

    OCaml 1.9k 159

  3. mirage-skeleton Public

    Examples of simple MirageOS apps

    OCaml 230 97

  4. 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 Public

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

    OCaml 736 177

  6. mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 171 108

Repositories

Showing 10 of 209 repositories
  • mirage-block-ramdisk Public

    A simple in-memory BLOCK device

    OCaml 7 7 0 0 Updated May 19, 2025
  • ocaml-qcow Public

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

    OCaml 19 19 8 3 Updated May 19, 2025
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    OCaml 103 ISC 13 4 1 Updated May 18, 2025
  • mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2,674 ISC 254 47 9 Updated May 18, 2025
  • dream Public Forked from aantron/dream

    Tidy, feature-complete Web framework

    OCaml 0 MIT 150 0 1 Updated May 17, 2025
  • ocaml-unikraft Public

    OCaml cross-compiler to freestanding Unikraft backends

    Makefile 1 MIT 0 0 0 Updated May 15, 2025
  • mirage-crypto Public

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

    C 78 ISC 44 19 (11 issues need help) 2 Updated May 15, 2025
  • ocaml-git Public

    Pure OCaml Git format and protocol

    OCaml 364 ISC 69 13 6 Updated May 14, 2025
  • mirage-unikraft Public

    Unikraft core platform libraries for MirageOS

    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.

    C 1 1,455 0 0 Updated May 12, 2025

Top languages

Loading…

Most used topics

Loading…