Skip to content

@mirage MirageOS

Change the repository type filter

All

    Repositories list

    209 repositories

    • checkseum

      Public
      C
      •
      MIT License
      •12•16•1•1•Updated Apr 19, 2026Apr 19, 2026

    • ocaml-cohttp

      Public
      An OCaml library for HTTP clients and servers using Lwt or Async
      httpunixocaml
      httpunixocamlhttp-clientlwt
      OCaml
      •
      Other
      •183•773•91•14•Updated Apr 17, 2026Apr 17, 2026

    • bechamel

      Public
      Agnostic benchmark in OCaml (proof-of-concept)
      OCaml
      •
      MIT License
      •15•43•2•3•Updated Apr 16, 2026Apr 16, 2026

    • ocaml-qcow

      Public
      Pure OCaml code for parsing, printing, modifying .qcow format data
      OCaml
      •
      Other
      •20•21•3•0•Updated Apr 16, 2026Apr 16, 2026

    • ocaml-unikraft

      Public
      OCaml cross-compiler to freestanding Unikraft backends
      OCaml
      •
      MIT License
      •1•9•0•1•Updated Apr 15, 2026Apr 15, 2026

    • irmin

      Public
      Irmin is a distributed database that follows the same design principles as Git
      gitdatabasestorage
      gitdatabasestorageocamlmirageosirmin
      OCaml
      •
      ISC License
      •166•1.9k•123•19•Updated Apr 15, 2026Apr 15, 2026

    • ptt

      Public archive
      Postes, Télégraphes et Téléphones
      OCaml
      •6•28•9•2•Updated Apr 13, 2026Apr 13, 2026

    • colombe

      Public
      Implementation of SMTP protocols in OCaml
      OCaml
      •
      MIT License
      •8•48•1•1•Updated Apr 8, 2026Apr 8, 2026

    • ocaml-rpc

      Public
      Light library to deal with RPCs in OCaml
      OCaml
      •
      ISC License
      •30•101•5•3•Updated Apr 4, 2026Apr 4, 2026

    • mirage-www

      Public
      Website infrastructure and content for mirage.io
      HTML
      •
      ISC License
      •108•175•18•7•Updated Mar 28, 2026Mar 28, 2026

    • uspf

      Public
      SPF verifier and signer in OCaml
      OCaml
      •
      MIT License
      •2•10•2•0•Updated Mar 28, 2026Mar 28, 2026

    • ocaml-dkim

      Public
      DKIM support on e-mail
      OCaml
      •
      MIT License
      •2•12•2•0•Updated Mar 26, 2026Mar 26, 2026

    • ocaml-solo5

      Public
      Freestanding OCaml runtime
      ocamlmirageos
      ocamlmirageos
      C
      •
      Other
      •33•109•2•1•Updated Mar 26, 2026Mar 26, 2026

    • charrua

      Public
      A DHCP library in OCaml
      ocamlunikerneldhcp-server
      ocamlunikerneldhcp-servermiragedhcp-library
      OCaml
      •
      ISC License
      •20•62•3•1•Updated Mar 25, 2026Mar 25, 2026

    • ca-certs-nss

      Public
      CA certificates extracted from NSS, to be used with MirageOS
      OCaml
      •
      ISC License
      •2•7•2•0•Updated Mar 20, 2026Mar 20, 2026

    • qubes-mirage-firewall

      Public
      A Mirage firewall VM for QubesOS
      firewallocamlmirageos
      firewallocamlmirageosunikernelqubesos
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •29•234•12•0•Updated Mar 20, 2026Mar 20, 2026

    • ocaml-dns

      Public
      OCaml implementation of the DNS protocol
      dnsocamlmirageos
      dnsocamlmirageosunikernel
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •45•114•17•3•Updated Mar 19, 2026Mar 19, 2026

    • mirage-crypto

      Public
      Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
      cryptographyaesocaml
      cryptographyaesocamlrsasha2mirageosrngdsadhfortuna
      C
      •
      ISC License
      •45•81•19•3•Updated Mar 15, 2026Mar 15, 2026

    • mirage

      Public
      MirageOS is a library operating system that constructs unikernels
      linuxxenocaml
      linuxxenocamlopamkvmmirageosunikernel
      OCaml
      •
      ISC License
      •263•2.9k•51•9•Updated Mar 11, 2026Mar 11, 2026

    • conan

      Public
      Like detective conan, find clue about the type of the file
      filemime
      filemime
      OCaml
      •
      Other
      •8•57•2•1•Updated Mar 6, 2026Mar 6, 2026

    • irmin.org

      Public
      Irmin website
      CSS
      •
      ISC License
      •14•12•10•1•Updated Feb 26, 2026Feb 26, 2026

    • Zarith

      Public
      The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is ver…
      OCaml
      •
      Other
      •80•0•2•0•Updated Feb 26, 2026Feb 26, 2026

    • dns-resolver

      Public
      OCaml
      •2•7•1•1•Updated Feb 22, 2026Feb 22, 2026

    • ocaml-ipaddr

      Public
      A library for manipulation of IP (and MAC) address representations
      ipv6ocamlipv4
      ipv6ocamlipv4ip-addressmac-address
      OCaml
      •
      ISC License
      •24•40•10•0•Updated Feb 19, 2026Feb 19, 2026

    • mirage-tcpip

      Public
      TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
      tcpudpocaml
      tcpudpocamlicmpipv4arpmirageosunikernelethernettcpip
      OCaml
      •
      ISC License
      •93•354•28•9•Updated Feb 18, 2026Feb 18, 2026

    • irmin-watcher

      Public
      Portable implementation of the Irmin Watch API
      OCaml
      •
      ISC License
      •17•14•7•2•Updated Feb 10, 2026Feb 10, 2026

    • index

      Public
      A platform-agnostic multi-level index
      OCaml
      •
      MIT License
      •23•33•24•9•Updated Feb 5, 2026Feb 5, 2026

    • capnp-rpc

      Public
      Cap'n Proto RPC implementation
      ocaml-libraryrpc-frameworkcapnproto
      ocaml-libraryrpc-frameworkcapnprotocapn-proto
      OCaml
      •
      Other
      •24•112•6•3•Updated Feb 1, 2026Feb 1, 2026

    • ocaml-tar

      Public
      Pure OCaml library to read and write tar files
      OCaml
      •
      ISC License
      •33•55•10•2•Updated Jan 27, 2026Jan 27, 2026

    • mirage-skeleton

      Public
      Examples of simple MirageOS apps
      examplesocamlmirageos
      examplesocamlmirageosunikernel
      OCaml
      •
      The Unlicense
      •99•234•3•4•Updated Jan 7, 2026Jan 7, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.