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
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆32Updated last year
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆57Updated 6 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 3 years ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 8 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆87Updated 7 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 5 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆54Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• joeltg / brainfreeze
  Fully Homomorphic Brainfuck
  ☆20Updated 7 years ago
• rongarret / tweetnacl
  ☆23Updated 8 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• ku-fpg / kansas-lava
  Kansas Lava
  ☆49Updated 6 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 8 years ago
• t1lang / t1lang.github.io
  T1 Main Web Site
  ☆14Updated 6 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 5 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆30Updated 6 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago