Skip to content
@mirage

MirageOS

Pinned Loading

  1. mirage Public

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.6k 253

  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 229 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 344 87

  5. ocaml-cohttp Public

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

    OCaml 730 177

  6. mirage-www Public

    Website infrastructure and content for mirage.io

    HTML 172 106

Repositories

Showing 10 of 202 repositories
  • ocaml-dns Public

    OCaml implementation of the DNS protocol

    OCaml 105 BSD-2-Clause 43 25 4 Updated Apr 10, 2025
  • awa-ssh Public

    Purely functional SSH library in ocaml.

    OCaml 103 ISC 13 4 1 Updated Apr 10, 2025
  • ca-certs-nss Public

    CA certificates extracted from NSS, to be used with MirageOS

    OCaml 6 ISC 2 2 0 Updated Apr 8, 2025
  • conan Public

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

    OCaml 52 7 2 2 Updated Apr 8, 2025
  • ocaml-dkim Public

    DKIM support on e-mail

    OCaml 9 MIT 1 3 1 Updated Apr 8, 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 Apr 6, 2025
  • colombe Public

    Implementation of SMTP protocols in OCaml

    OCaml 44 MIT 6 1 0 Updated Apr 1, 2025
  • dns-resolver Public
    OCaml 7 2 1 0 Updated Mar 27, 2025
  • qubes-mirage-firewall Public

    A Mirage firewall VM for QubesOS

    OCaml 217 BSD-2-Clause 28 10 (1 issue needs help) 1 Updated Mar 20, 2025
  • irmin Public

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

    OCaml 1,879 ISC 159 118 17 Updated Mar 19, 2025
View all repositories