Alternatives and similar repositories for garbled-circuits

Users that are interested in garbled-circuits are comparing it to the libraries listed below

• derekelkins / ads
  Authenticated Data Structures
  ☆16Updated 10 years ago
• input-output-hk / pvss-haskell
  ☆21Updated 7 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆76Updated 5 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆21Updated 5 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 9 years ago
• draperlaboratory / cspgen
  A tool for translating imperative programs to CSP.
  ☆12Updated 8 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 7 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• aische / typelevel-examples
  Haskell Type Level Example Programs
  ☆29Updated 7 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆56Updated last year
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• mfourne / eccrypto
  ☆12Updated 5 months ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 9 months ago
• sdiehl / aos-signature
  Abe-Ohkubo-Suzuki Linkable Ring Signatures
  ☆48Updated 5 years ago
• thoughtpolice / claap
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Updated 8 years ago
• yav / simple-smt
  ☆21Updated 7 months ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 3 years ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆51Updated last year
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• angerman / data-bitcode-llvm
  Data.BitCode.LLVM
  ☆9Updated 7 years ago
• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 7 years ago
• glguy / ssh-hans
  ☆12Updated 5 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago