Skip to content

@mirage MirageOS

Change the repository type filter

All

    Repositories list

    200 repositories

    • colombe

      Public
      Implementation of SMTP protocols in OCaml
      OCaml
      •
      MIT License
      •5•43•1•1•Updated Oct 2, 2024Oct 2, 2024

    • mirage

      Public
      MirageOS is a library operating system that constructs unikernels
      linuxxenocamlopamkvmmirageosunikernel
      OCaml
      •
      ISC License
      •245•2.5k•53•9•Updated Oct 2, 2024Oct 2, 2024

    • mirage-net

      Public
      Network devices for MirageOS
      OCaml
      •
      ISC License
      •12•9•0•1•Updated Oct 1, 2024Oct 1, 2024

    • dns-resolver

      Public
      OCaml
      •2•7•0•0•Updated Oct 1, 2024Oct 1, 2024

    • mirage-crypto

      Public
      Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
      cryptographyaesocamlrsasha2mirageosrngdsadhfortuna
      C
      •
      ISC License
      •43•77•18•1•Updated Oct 1, 2024Oct 1, 2024

    • irmin

      Public
      Irmin is a distributed database that follows the same design principles as Git
      gitstoragemirageosdatabaseocamlirmin
      OCaml
      •
      ISC License
      •153•1.8k•116•16•Updated Sep 30, 2024Sep 30, 2024

    • mirage-skeleton

      Public
      Examples of simple MirageOS apps
      examplesocamlmirageosunikernel
      OCaml
      •
      The Unlicense
      •93•225•3•4•Updated Sep 30, 2024Sep 30, 2024

    • ocaml-cohttp

      Public
      An OCaml library for HTTP clients and servers using Lwt or Async
      httphttp-clientunixocamllwt
      OCaml
      •
      Other
      •174•704•87•10•Updated Sep 30, 2024Sep 30, 2024

    • ocaml-dns

      Public
      OCaml implementation of the DNS protocol
      dnsmirageosunikernelocaml
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •43•106•24•3•Updated Sep 27, 2024Sep 27, 2024

    • capnp-rpc

      Public
      Cap'n Proto RPC implementation
      ocaml-libraryrpc-frameworkcapnprotocapn-proto
      OCaml
      •
      Other
      •20•98•9•5•Updated Sep 27, 2024Sep 27, 2024

    • ocaml-rpc

      Public
      Light library to deal with RPCs in OCaml
      OCaml
      •
      ISC License
      •30•95•6•2•Updated Sep 25, 2024Sep 25, 2024

    • semaphore-compat

      Public
      OCaml
      •
      GNU Lesser General Public License v2.1
      •2•9•0•0•Updated Sep 25, 2024Sep 25, 2024

    • ocaml-conduit

      Public
      Dereference URIs into communication channels for Async or Lwt
      OCaml
      •
      ISC License
      •74•84•18•1•Updated Sep 25, 2024Sep 25, 2024

    • ptt

      Public
      Postes, Télégraphes et Téléphones
      OCaml
      •6•27•8•0•Updated Sep 23, 2024Sep 23, 2024

    • alcotest

      Public
      A lightweight and colourful test framework
      unit-testingocaml
      OCaml
      •
      ISC License
      •80•451•41•7•Updated Sep 23, 2024Sep 23, 2024

    • ocaml-tar

      Public
      Pure OCaml library to read and write tar files
      OCaml
      •
      ISC License
      •33•55•6•4•Updated Sep 20, 2024Sep 20, 2024

    • awa-ssh

      Public
      Purely functional SSH library in ocaml.
      sshsecuritycryptographypuremirageosmirageocamlssh-libraryawa-ssh
      OCaml
      •
      ISC License
      •12•104•4•1•Updated Sep 19, 2024Sep 19, 2024

    • ocaml-dkim

      Public
      DKIM support on e-mail
      OCaml
      •
      MIT License
      •1•9•3•0•Updated Sep 18, 2024Sep 18, 2024

    • mirage-www

      Public
      Website infrastructure and content for mirage.io
      HTML
      •
      ISC License
      •106•172•18•4•Updated Sep 17, 2024Sep 17, 2024

    • spamtacus

      Public
      Ocaml modular spam filter
      OCaml
      •
      MIT License
      •1•16•0•0•Updated Sep 16, 2024Sep 16, 2024

    • mrmime

      Public
      What do you mean?
      OCaml
      •
      MIT License
      •9•43•5•0•Updated Sep 16, 2024Sep 16, 2024

    • retreat.mirage.io

      Public
      Microsite for the MirageOS hack retreats
      OCaml
      •7•14•0•0•Updated Sep 11, 2024Sep 11, 2024

    • mirage-bootvar-solo5

      Public archive
      archived, please look into the mirage-bootvar repository below. Solo5 implementation of MirageOS Bootvar interface
      OCaml
      •
      ISC License
      •4•3•0•0•Updated Sep 11, 2024Sep 11, 2024

    • mirage-bootvar-xen

      Public archive
      archived, please look into the mirage-bootvar repository below for further development. Library for reading MirageOS unikernel boot parameters in Xen
      OCaml
      •
      ISC License
      •14•9•0•0•Updated Sep 11, 2024Sep 11, 2024

    • mirage-bootvar-unix

      Public archive
      archived, please look into mirage-bootvar repository linked below. Boot parameters for MirageOS on Unix
      OCaml
      •
      ISC License
      •2•3•0•1•Updated Sep 11, 2024Sep 11, 2024

    • charrua

      Public
      A DHCP library in OCaml
      ocamlunikerneldhcp-servermiragedhcp-library
      OCaml
      •
      ISC License
      •18•55•2•2•Updated Sep 10, 2024Sep 10, 2024

    • mirage-nat

      Public
      library for network address translation intended for use with mirage unikernels
      OCaml
      •
      ISC License
      •14•31•0•0•Updated Sep 10, 2024Sep 10, 2024

    • conan

      Public
      Like detective conan, find clue about the type of the file
      filemime
      OCaml
      •
      Other
      •7•49•2•1•Updated Sep 5, 2024Sep 5, 2024

    • mirage-random

      Public archive
      archived - please use mirage-crypto-rng-mirage instead. Random-related devices for MirageOS
      deviceinterfacerandommirageos
      OCaml
      •
      ISC License
      •5•6•0•0•Updated Sep 5, 2024Sep 5, 2024

    • ocaml-git

      Public
      Pure OCaml Git format and protocol
      gitocaml
      OCaml
      •
      ISC License
      •70•363•13•6•Updated Sep 4, 2024Sep 4, 2024