Skip to content

@mirage MirageOS

Change the repository type filter

All

    Repositories list

    209 repositories

    • ocaml-xenstore

      Public
      A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
      OCaml
      •
      Other
      •22•8•5•0•Updated Aug 20, 2025Aug 20, 2025

    • ocaml-uri

      Public
      RFC3986 URI parsing library for OCaml
      urlurirfc-3986ocaml
      OCaml
      •
      Other
      •56•98•22•6•Updated Aug 18, 2025Aug 18, 2025

    • ocaml-cf

      Public
      macOS bindings to CoreFoundation
      OCaml
      •
      ISC License
      •4•8•0•4•Updated Aug 18, 2025Aug 18, 2025

    • ocaml-cohttp

      Public
      An OCaml library for HTTP clients and servers using Lwt or Async
      httphttp-clientunixocamllwt
      OCaml
      •
      Other
      •180•749•89•12•Updated Aug 18, 2025Aug 18, 2025

    • mirage-net-xen

      Public
      Xen Netfront and Netback ethernet device drivers for Mirage
      OCaml
      •
      ISC License
      •15•12•2•0•Updated Aug 18, 2025Aug 18, 2025

    • mirage-tcpip

      Public
      TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
      ipv4tcpiptcpudpocamlicmparpmirageosunikernelethernet
      OCaml
      •
      ISC License
      •88•349•25•6•Updated Aug 18, 2025Aug 18, 2025

    • ca-certs-nss

      Public
      CA certificates extracted from NSS, to be used with MirageOS
      OCaml
      •
      ISC License
      •2•6•2•0•Updated Aug 15, 2025Aug 15, 2025

    • ocaml-solo5

      Public
      Freestanding OCaml runtime
      mirageosocaml
      C
      •
      Other
      •31•105•1•2•Updated Aug 12, 2025Aug 12, 2025

    • ocaml-fsevents

      Public
      macOS bindings to the FSEvents API
      OCaml
      •
      ISC License
      •3•18•1•2•Updated Aug 11, 2025Aug 11, 2025

    • irmin

      Public
      Irmin is a distributed database that follows the same design principles as Git
      gitdatabasestorageocamlmirageosirmin
      OCaml
      •
      ISC License
      •162•1.9k•117•16•Updated Aug 11, 2025Aug 11, 2025

    • ca-certs

      Public
      Detect root CA certificates from the operating system
      OCaml
      •
      ISC License
      •13•14•1•1•Updated Aug 11, 2025Aug 11, 2025

    • ocaml-rpc

      Public
      Light library to deal with RPCs in OCaml
      OCaml
      •
      ISC License
      •32•98•6•5•Updated Aug 8, 2025Aug 8, 2025

    • ocaml-qcow

      Public
      Pure OCaml code for parsing, printing, modifying .qcow format data
      OCaml
      •
      Other
      •20•20•3•0•Updated Aug 4, 2025Aug 4, 2025

    • ocaml-dns

      Public
      OCaml implementation of the DNS protocol
      dnsmirageosunikernelocaml
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •44•108•22•3•Updated Aug 1, 2025Aug 1, 2025

    • ocaml-ipaddr

      Public
      A library for manipulation of IP (and MAC) address representations
      ipv6ip-addressmac-addressocamlipv4
      OCaml
      •
      ISC License
      •24•40•10•0•Updated Aug 1, 2025Aug 1, 2025

    • ocaml-gmp

      Public
      GMP in a dune wrapper
      Shell
      •
      GNU General Public License v3.0
      •6•7•1•0•Updated Jul 28, 2025Jul 28, 2025

    • ptt

      Public
      Postes, Télégraphes et Téléphones
      OCaml
      •6•28•8•0•Updated Jul 24, 2025Jul 24, 2025

    • ocaml-unikraft

      Public
      OCaml cross-compiler to freestanding Unikraft backends
      Shell
      •
      MIT License
      •0•5•0•0•Updated Jul 21, 2025Jul 21, 2025

    • ocaml-gpt

      Public
      A simple library for manipulating GUID partition tables
      OCaml
      •
      ISC License
      •1•13•1•0•Updated Jun 26, 2025Jun 26, 2025

    • mirage-block-unikraft

      Public
      Unikraft implementation of MirageOS block interface
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Jun 26, 2025Jun 26, 2025

    • mirage-net-unikraft

      Public
      Unikraft implementation of MirageOS network interface
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated Jun 26, 2025Jun 26, 2025

    • mirage-unikraft

      Public
      Unikraft core platform libraries for MirageOS
      OCaml
      •
      MIT License
      •0•2•0•0•Updated Jun 26, 2025Jun 26, 2025

    • ocaml-9p

      Public
      An OCaml/Mirage-friendly implementation of the 9P protocol
      OCaml
      •
      ISC License
      •20•67•5•0•Updated Jun 23, 2025Jun 23, 2025

    • awa-ssh

      Public
      Purely functional SSH library in ocaml.
      sshsecuritycryptographypuremirageosmirageocamlssh-libraryawa-ssh
      OCaml
      •
      ISC License
      •14•103•3•0•Updated Jun 17, 2025Jun 17, 2025

    • colombe

      Public
      Implementation of SMTP protocols in OCaml
      OCaml
      •
      MIT License
      •7•44•1•0•Updated Jun 17, 2025Jun 17, 2025

    • metrics

      Public
      Infrastructure to collect metrics from OCaml applications.
      OCaml
      •
      ISC License
      •11•45•2•0•Updated Jun 16, 2025Jun 16, 2025

    • ocaml-dkim

      Public
      DKIM support on e-mail
      OCaml
      •
      MIT License
      •1•11•3•0•Updated Jun 12, 2025Jun 12, 2025

    • uspf

      Public
      SPF verifier and signer in OCaml
      OCaml
      •
      MIT License
      •1•10•2•0•Updated Jun 11, 2025Jun 11, 2025

    • conan

      Public
      Like detective conan, find clue about the type of the file
      filemime
      OCaml
      •
      Other
      •7•52•2•1•Updated Jun 2, 2025Jun 2, 2025

    • mirage-channel

      Public
      An implementation of channels using page-aligned memory
      OCaml
      •
      ISC License
      •10•6•0•0•Updated Jun 2, 2025Jun 2, 2025