Alternatives and similar repositories for garbled-circuits:

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

• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• input-output-hk / pvss-haskell
  ☆21Updated 7 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 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
• derekelkins / ads
  Authenticated Data Structures
  ☆16Updated 9 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 6 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆56Updated last year
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated last year
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 9 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 5 years ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆75Updated 5 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• GaloisInc / gec
  Embedded-friendly crypto a la SMACCM
  ☆12Updated 7 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆15Updated 4 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• joshvera / effects
  An implementation of "Freer Monads, More Extensible Effects".
  ☆20Updated 6 years ago
• kseo / poly
  A simple ML dialect
  ☆11Updated 8 years ago
• draperlaboratory / cspgen
  A tool for translating imperative programs to CSP.
  ☆12Updated 8 years ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated last year
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 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
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 7 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 7 years ago