Alternatives and similar repositories for oblivious-cpu

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

• joeltg / brainfreeze
  Fully Homomorphic Brainfuck
  ☆19Updated 7 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• pickhardt / escrovery
  Escrovery - Decentralized Account Recovery With Escrowed Payments
  ☆13Updated 6 years ago
• LoupVaillant / elligator
  Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange
  ☆17Updated 3 months ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated 10 months ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 6 years ago
• tum-i4 / indistinguishability-obfuscation
  Implementation of indistinguishability obfuscation constructions from scientific literature
  ☆48Updated 10 years ago
• amenonsen / tappet
  ☆30Updated 3 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• 5GenCrypto / mife
  Multi-input functional encryption
  ☆12Updated 7 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• valkmit / aws-graviton2-on-intel
  Runs AWS graviton2 images on intel, with native-speed compile times
  ☆55Updated 3 years ago
• libresilicon / PearlRiver
  1st Testwafer for LibreSilicon
  ☆28Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆46Updated last year
• Gladdy / numerical-fpga-thesis
  Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH
  ☆28Updated 9 years ago
• notfed / puree
  PUREE: Password-based Uniform-Random-Equivalent Encryption
  ☆63Updated 4 years ago
• skeeto / pgpcollider
  OpenPGP Long Key ID Collider
  ☆15Updated 5 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆121Updated 5 years ago
• webDva / matrixmul
  Portable matrix multiplication library in C
  ☆21Updated 6 years ago
• jeremycw / tetris-verilog
  Verilog Tetris
  ☆13Updated 10 years ago
• leviathanch / qtflow
  A Qt5 based free VLSI development tool
  ☆30Updated 7 years ago
• t1lang / t1lang.github.io
  T1 Main Web Site
  ☆14Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago