Alternatives and similar repositories for duet

Users that are interested in duet are comparing it to the libraries listed below

• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆22Updated 5 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated 2 years ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆21Updated last week
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆52Updated 2 weeks ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆69Updated last week
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated last year
• vrahli / Velisarios
  A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
  ☆31Updated 6 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Updated last month
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated last month
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆82Updated 5 months ago
• blanchette / logical_verification_2021
  ☆25Updated 3 years ago
• xiw / arithcc
  ☆13Updated 4 years ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆56Updated 3 years ago
• uvm-plaid / chorus
  ☆31Updated 3 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• paulaneeley / modal
  ☆16Updated 4 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆56Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated 2 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆38Updated last month
• Verified-zkEVM / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆46Updated 2 weeks ago
• JoeyLupo / cryptolib
  ☆17Updated 3 years ago
• ipdl / ipdl
  ☆10Updated 2 years ago
• aman-goel / ivybench
  Collection of Distributed Protocol Verification Problems
  ☆14Updated last year
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year