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
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated last year
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 4 years ago
• uvm-plaid / chorus
  ☆31Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated 2 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated 10 months ago
• IBM / discrete-gaussian-differential-privacy
  Code for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010
  ☆61Updated 4 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• ektelo / ektelo
  ☆38Updated 2 years ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆14Updated 5 years ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆11Updated this week
• jnear / cs211-data-privacy
  ☆44Updated 2 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆21Updated last month
• schoppmp / linreg-mpc
  A Secure Multiparty Computation (MPC) protocol for computing linear regression on vertically distributed datasets.
  ☆32Updated 6 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 3 weeks ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• smtcoq / sniper
  ☆36Updated last month
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• fredrikNordvallForsberg / CS410-22
  being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
  ☆14Updated 2 years ago
• ipdl / ipdl
  ☆10Updated 2 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆73Updated 2 weeks ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• JoeyLupo / cryptolib
  ☆15Updated 2 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated last week
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• secure-foundations / mariposa
  ☆13Updated 2 months ago