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 10 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 10 years ago
• amenonsen / tappet
  ☆30Updated 3 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆121Updated 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
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆107Updated 9 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• leviathanch / qtflow
  A Qt5 based free VLSI development tool
  ☆30Updated 7 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated last year
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆23Updated 3 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• lf94 / log-cabin-parametric-cadquery
  Builds parametric log cabins based on the book "How to build and furnish a log cabin."
  ☆17Updated 2 years ago
• libresilicon / process
  ☆91Updated 6 years ago
• whitequark / groupXIV
  Microphotography viewer based on Leaflet.js
  ☆43Updated last year
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• hcrypt-project / yao
  Yao's Garbled Circuits (Java/AES)
  ☆10Updated 11 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
• drom / quark
  Stack CPU Work In Progress
  ☆30Updated last year
• junglejim8 / epaper
  QWERTY handset with wifi module and epaper display
  ☆16Updated 8 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆30Updated 6 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 5 years ago