Alternatives and similar repositories for oblivious-cpu

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

• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 10 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 10 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆119Updated 5 years ago
• amenonsen / tappet
  ☆30Updated 3 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 7 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 8 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆216Updated 5 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• PoWx-Org / oPoW
  PoWx mission: Aiming at smaller energy per hash hardware.
  ☆11Updated 3 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆29Updated 6 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆87Updated 7 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆32Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• FeepingCreature / jsfarm
  Turn idle browsers into a compute farm.
  ☆19Updated 8 years ago
• robertswiecki / extcd
  A stand-alone 'cd' binary for Linux/i386
  ☆25Updated 6 years ago
• anfractuosity / musicplayer
  Play audio files (.wav) via the system bus of your computer and pickup with an AM radio. See youtube link for example.
  ☆52Updated 2 years ago
• whitequark / groupXIV
  Microphotography viewer based on Leaflet.js
  ☆43Updated last year
• cfloume / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 9 years ago
• tum-i4 / indistinguishability-obfuscation
  Implementation of indistinguishability obfuscation constructions from scientific literature
  ☆48Updated 10 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆48Updated 13 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
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆45Updated 10 years ago
• vscrypto / ringlwe
  A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…
  ☆37Updated 7 years ago