Alternatives and similar repositories for Qubie

Users that are interested in Qubie are comparing it to the libraries listed below

• 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
• mirleft / btc-pinata
  If you smash it, you get to keep the pieces.
  ☆29Updated 6 years ago
• XVilka / bvim
  The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…
  ☆31Updated 13 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆64Updated last year
• marcoonroad / nocoiner
  A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.
  ☆11Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated 3 months ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• darrenldl / sandboxing
  Scripts, files and tools related to sandboxing
  ☆34Updated 4 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 7 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 / tlsclient
  TLS client program
  ☆11Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• aryx / pfff
  See https://github.com/returntocorp/pfff which is now the official pfff repository
  ☆33Updated 5 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆26Updated last year
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 5 years ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 5 years ago
• commonsmachinery / blockhash-rfc
  Block median value perceptual hash RFC for URN namespace
  ☆28Updated 6 years ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆15Updated last month
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆109Updated 10 years ago
• ujamjar / reedsolomon
  Reed-Solomon Error Correction CODEC
  ☆27Updated 7 years ago
• amenonsen / tappet
  ☆30Updated 4 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 6 years ago
• rcompton / black-market-recommender-systems
  Code and paper
  ☆14Updated 10 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆15Updated 5 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆29Updated 8 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated last month
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆126Updated last year