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
  ☆20Updated 4 years ago
• ektelo / ektelo
  ☆38Updated 2 years ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated 10 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• jnear / cs211-data-privacy
  ☆44Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• IBM / discrete-gaussian-differential-privacy
  Code for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010
  ☆59Updated 4 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• pauls658 / ReluDiff-ICSE2020-Artifact
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆10Updated 3 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆71Updated 6 months ago
• smtcoq / sniper
  ☆35Updated 3 months ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 3 years ago
• xiw / arithcc
  ☆14Updated 4 years ago
• uvm-plaid / chorus
  ☆31Updated 2 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆31Updated 8 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆25Updated 4 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆15Updated 7 months ago
• mit-plv / bbv
  Bedrock Bit Vector Library
  ☆27Updated 11 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆75Updated 3 weeks ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆13Updated 4 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago