Skip to content

@mirage MirageOS

Change the repository type filter

All

    Repositories list

    203 repositories

    • digestif

      Public
      Simple hash algorithms in OCaml
      chashmd5blake2bsha1sha256sha512sha384sha224ocaml
      OCaml
      •
      MIT License
      •27•89•6•0•Updated Apr 17, 2025Apr 17, 2025

    • ocaml-dkim

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

    • ocaml-unikraft

      Public
      OCaml cross-compiler to freestanding Unikraft backends
      0•1•0•0•Updated Apr 16, 2025Apr 16, 2025

    • ocaml-dns

      Public
      OCaml implementation of the DNS protocol
      dnsmirageosunikernelocaml
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •43•106•25•3•Updated Apr 15, 2025Apr 15, 2025

    • ca-certs

      Public
      Detect root CA certificates from the operating system
      OCaml
      •
      ISC License
      •13•14•1•0•Updated Apr 15, 2025Apr 15, 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
      •87•344•24•5•Updated Apr 15, 2025Apr 15, 2025

    • conan

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

    • dns-resolver

      Public
      OCaml
      •2•7•1•0•Updated Apr 14, 2025Apr 14, 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

    • 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

    • 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