Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.6k 251

  2. irmin irmin Public

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

    OCaml 1.9k 157

  3. mirage-skeleton mirage-skeleton Public

    Examples of simple MirageOS apps

    OCaml 227 93

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

  5. ocaml-cohttp ocaml-cohttp Public

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

    OCaml 715 176

  6. mirage-www mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 172 106

Repositories

Showing 10 of 200 repositories
  • capnp-rpc Public

    Cap'n Proto RPC implementation

    mirage/capnp-rpc’s past year of commit activity
    OCaml 104 21 6 4 Updated Dec 23, 2024
  • ethernet Public

    Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

    mirage/ethernet’s past year of commit activity
    OCaml 10 ISC 7 1 0 Updated Dec 17, 2024
  • mirage-crypto Public

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

    mirage/mirage-crypto’s past year of commit activity
    C 77 ISC 43 19 (11 issues need help) 3 Updated Dec 17, 2024
  • ocaml-dns Public

    OCaml implementation of the DNS protocol

    mirage/ocaml-dns’s past year of commit activity
    OCaml 105 BSD-2-Clause 43 25 4 Updated Dec 17, 2024
  • ca-certs Public

    Detect root CA certificates from the operating system

    mirage/ca-certs’s past year of commit activity
    OCaml 14 ISC 13 2 (1 issue needs help) 3 Updated Dec 17, 2024
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    mirage/awa-ssh’s past year of commit activity
    OCaml 103 ISC 12 4 1 Updated Dec 17, 2024
  • arp Public

    Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

    mirage/arp’s past year of commit activity
    OCaml 21 10 0 1 Updated Dec 17, 2024
  • ocaml-solo5 Public

    Freestanding OCaml runtime

    mirage/ocaml-solo5’s past year of commit activity
    C 102 30 0 1 Updated Dec 17, 2024
  • ocaml-cohttp Public

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

    mirage/ocaml-cohttp’s past year of commit activity
    OCaml 715 176 87 14 Updated Dec 13, 2024
  • 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,861 ISC 157 117 16 Updated Dec 12, 2024
View all repositories