Alternatives and similar repositories for Qubie

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

• cbor / spec-with-errata-fixed
  RFC 7049 with the known errata fixed
  ☆37Updated 11 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
• JUrban / MPTP2
  ☆19Updated 8 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 6 months ago
• hannesm / tlsclient
  TLS client program
  ☆11Updated 5 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• osresearch / tpmtotp
  Use a TPM to store a TOTP token in order to attest boot state to another device
  ☆16Updated 2 years ago
• marcoonroad / nocoiner
  A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.
  ☆11Updated 2 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• keybase / pgp-utils
  Various crypto utilities for dealing with MACs, Signatures, and PGP message formats.
  ☆30Updated 6 years ago
• im-tomu / tomuplus-hardware
  **Abandoned** Tomu+ board - no longer under development!
  ☆14Updated 7 years ago
• mirleft / btc-pinata
  If you smash it, you get to keep the pieces.
  ☆29Updated 5 years ago
• xssfox / covidsafescan
  ☆11Updated 5 years ago
• robertswiecki / extcd
  A stand-alone 'cd' binary for Linux/i386
  ☆25Updated 5 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆107Updated 9 years ago
• xobs / novena-linux
  Linux kernel with Novena patches -- expect frequent rebases!
  ☆85Updated 8 years ago
• SilentCircle / silent-text
  Encrypted Text Messaging
  ☆148Updated 9 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆34Updated 11 years ago
• bazurbat / jagen
  A software engineer's workspace manager and build systems wrapper
  ☆36Updated 3 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 years ago
• ujamjar / reedsolomon
  Reed-Solomon Error Correction CODEC
  ☆26Updated 6 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 4 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 5 years ago
• stribika / bfkdf
  Brainfuck Key Derivation Function
  ☆30Updated 10 years ago