Alternatives and similar repositories for qemu-solo5-mirage-rpi3

Users that are interested in qemu-solo5-mirage-rpi3 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
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆64Updated 11 months ago
• talex5 / qubes-test-mirage
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Updated 5 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 6 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆64Updated 5 years ago
• hannesm / ocaml-otr
  Off-the-record (OTR) messaging protocol, purely in OCaml
  ☆39Updated last year
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated 2 months ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• robur-coop / unikernels
  MirageOS unikernels
  ☆52Updated 4 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• mirage / wodan
  A Mirage filesystem library
  ☆45Updated 4 years ago
• cfcs / scramlkb
  Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
  ☆25Updated 8 years ago
• mirage / ocaml-pcap
  OCaml code for generating and analysing pcap (packet capture) files
  ☆20Updated 8 months ago
• mirage / mirage-handbook
  WIP Handbook for MirageOS
  ☆14Updated 7 years ago
• mirage / ocaml-hvsock
  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  ☆16Updated 5 months ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 7 years ago
• andreasdotorg / pdfparser
  ☆23Updated 14 years ago
• seplogic / corestar
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Updated 8 years ago
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆56Updated last year
• mirage / charrua
  A DHCP library in OCaml
  ☆60Updated last week
• cryptosense / key-parsers
  OCaml parsers for multiple key formats
  ☆15Updated last year
• cfcs / mirage-examples
  Work-in-Progress collection of examples of using MirageOS from OCaml
  ☆22Updated 8 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated last year
• mransan / btree
  A B-Tree implementation in OCaml
  ☆24Updated 9 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆36Updated 12 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 3 years ago
• ptal / AbSolute
  Constraint solver based on abstract interpretation
  ☆10Updated last year
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆34Updated last year
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆44Updated 5 years ago