Alternatives and similar repositories for mirage-qubes

Users that are interested in mirage-qubes are comparing it to the libraries listed below

• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 5 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated last month
• cfcs / scramlkb
  Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
  ☆25Updated 8 years ago
• reynir / qubes-mirage-ssh-agent
  Ssh-agent unikernel for QubesOS
  ☆22Updated 3 years ago
• talex5 / qubes-test-mirage
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Updated 5 years ago
• mirage / qubes-mirage-firewall
  A Mirage firewall VM for QubesOS
  ☆230Updated last month
• hannesm / ocaml-otr
  Off-the-record (OTR) messaging protocol, purely in OCaml
  ☆39Updated last year
• mirleft / btc-pinata
  If you smash it, you get to keep the pieces.
  ☆29Updated 6 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• hannesm / tlstunnel-lwt
  TLS tunnel -- an alternative to stud / stunnel
  ☆84Updated 2 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆38Updated 3 years ago
• rudenoise / qemu-solo5-mirage-rpi3
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Updated 9 years ago
• robur-coop / unikernels
  MirageOS unikernels
  ☆52Updated 4 years ago
• rootkovska / qubes-roadmap
  High-level milestone planning for Qubes OS
  ☆31Updated 9 years ago
• mirage / wodan
  A Mirage filesystem library
  ☆45Updated 4 years ago
• mirage / mirage-handbook
  WIP Handbook for MirageOS
  ☆14Updated 7 years ago
• robur-coop / ocaml-openpgp
  WiP: RFC 4880 (OpenPGP) library and utilities in OCaml
  ☆24Updated 7 years ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 5 years ago
• cfcs / mirage-examples
  Work-in-Progress collection of examples of using MirageOS from OCaml
  ☆23Updated 8 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 9 years ago
• gregtatcam / imaplet-lwt
  imaplet revamp with Lwt
  ☆18Updated 8 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆64Updated 4 years ago
• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 9 years ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆14Updated 3 weeks ago
• yomimono / ocaml-certify
  Small command-line tools for making certificates with OCaml x509/nocrypto toolstack.
  ☆38Updated last year
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 10 years ago
• henn / qubes-app-split-ssh
  Split SSH implementation for QubesOS
  ☆41Updated 5 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• hannesm / jackline
  minimalistic secure XMPP client in OCaml
  ☆253Updated last year