Skip to content

@mirage MirageOS

Change the repository type filter

All

    Repositories list

    202 repositories

    • 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
      •87•344•24•6•Updated Apr 11, 2025Apr 11, 2025

    • ocaml-dns

      Public
      OCaml implementation of the DNS protocol
      dnsmirageosunikernelocaml
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •43•105•25•5•Updated Apr 10, 2025Apr 10, 2025

    • awa-ssh

      Public
      Purely functional SSH library in ocaml.
      sshsecuritycryptographypuremirageosmirageocamlssh-libraryawa-ssh
      OCaml
      •
      ISC License
      •13•103•4•1•Updated Apr 10, 2025Apr 10, 2025

    • ca-certs-nss

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

    • conan

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

    • ocaml-dkim

      Public
      DKIM support on e-mail
      OCaml
      •
      MIT License
      •1•9•3•1•Updated Apr 8, 2025Apr 8, 2025

    • mirage-crypto

      Public
      Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
      cryptographyaesocamlrsasha2mirageosrngdsadhfortuna
      C
      •
      ISC License
      •44•78•19•2•Updated Apr 6, 2025Apr 6, 2025

    • colombe

      Public
      Implementation of SMTP protocols in OCaml
      OCaml
      •
      MIT License
      •6•44•1•0•Updated Apr 1, 2025Apr 1, 2025

    • dns-resolver

      Public
      OCaml
      •2•7•1•0•Updated Mar 27, 2025Mar 27, 2025

    • qubes-mirage-firewall

      Public
      A Mirage firewall VM for QubesOS
      ocamlmirageosfirewallunikernelqubesos
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •29•217•10•1•Updated Mar 20, 2025Mar 20, 2025

    • irmin

      Public
      Irmin is a distributed database that follows the same design principles as Git
      gitdatabasestorageocamlmirageosirmin
      OCaml
      •
      ISC License
      •159•1.9k•118•17•Updated Mar 19, 2025Mar 19, 2025

    • index

      Public
      A platform-agnostic multi-level index
      OCaml
      •
      MIT License
      •21•33•24•10•Updated Mar 18, 2025Mar 18, 2025

    • alcotest

      Public
      A lightweight and colourful test framework
      unit-testingocaml
      OCaml
      •
      ISC License
      •81•474•42•7•Updated Mar 18, 2025Mar 18, 2025

    • ocaml-cohttp

      Public
      An OCaml library for HTTP clients and servers using Lwt or Async
      httphttp-clientunixocamllwt
      OCaml
      •
      Other
      •177•731•87•9•Updated Mar 17, 2025Mar 17, 2025

    • ocaml-rpc

      Public
      Light library to deal with RPCs in OCaml
      OCaml
      •
      ISC License
      •31•97•6•5•Updated Mar 14, 2025Mar 14, 2025

    • ocaml-solo5

      Public
      Freestanding OCaml runtime
      mirageosocaml
      C
      •
      Other
      •31•103•0•1•Updated Mar 13, 2025Mar 13, 2025

    • optint

      Public
      Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
      OCaml
      •
      MIT License
      •10•24•0•1•Updated Mar 11, 2025Mar 11, 2025

    • mrmime

      Public
      What do you mean?
      OCaml
      •
      MIT License
      •10•43•5•0•Updated Mar 10, 2025Mar 10, 2025

    • retreat-website

      Public
      Microsite for the MirageOS hack retreats
      OCaml
      •7•13•0•0•Updated Mar 10, 2025Mar 10, 2025

    • metrics

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

    • ocaml-tar

      Public
      Pure OCaml library to read and write tar files
      OCaml
      •
      ISC License
      •34•56•10•2•Updated Mar 6, 2025Mar 6, 2025

    • ocaml-mbr

      Public
      A simple library for manipulating Master Boot Records
      OCaml
      •
      ISC License
      •9•18•2•2•Updated Mar 6, 2025Mar 6, 2025

    • 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 Mar 6, 2025Mar 6, 2025

    • ocaml-uri

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

    • ocaml-gnt

      Public
      OCaml bindings to the Xen grant tables libraries
      OCaml
      •
      ISC License
      •14•8•4•0•Updated Mar 6, 2025Mar 6, 2025

    • ocaml-evtchn

      Public
      Xen event channel interface for Mirage
      OCaml
      •
      ISC License
      •13•10•1•0•Updated Mar 6, 2025Mar 6, 2025

    • shared-memory-ring

      Public
      Xen-style shared memory rings
      OCaml
      •
      ISC License
      •12•19•2•0•Updated Mar 6, 2025Mar 6, 2025

    • shared-block-ring

      Public
      A simple on-disk fixed length queue
      OCaml
      •
      ISC License
      •11•11•1•0•Updated Mar 6, 2025Mar 6, 2025

    • ocaml-vchan

      Public
      Pure OCaml implementation of the "vchan" shared-memory communication protocol
      OCaml
      •
      ISC License
      •26•45•7•0•Updated Mar 6, 2025Mar 6, 2025

    • mirage-nat

      Public
      library for network address translation intended for use with mirage unikernels
      OCaml
      •
      ISC License
      •15•32•0•0•Updated Mar 6, 2025Mar 6, 2025