Alternatives and similar repositories for oblivious-cpu

Users that are interested in oblivious-cpu are comparing it to the libraries listed below

• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last week
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 6 years ago
• google / minetest_pnr
  Place & Router for Minetest
  ☆18Updated 2 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
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆107Updated 9 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆23Updated 2 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 7 years ago
• jeremycw / tetris-verilog
  Verilog Tetris
  ☆13Updated 10 years ago
• joeltg / brainfreeze
  Fully Homomorphic Brainfuck
  ☆19Updated 7 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• cattius / opcodetester
  Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
  ☆45Updated 6 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆21Updated 7 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆187Updated 8 years ago
• ESultanik / PDFGitPolyglot
  In which a PDF is a Git Repository Containing its own LaTeX Source and a Copy of Itself
  ☆32Updated 8 years ago