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 4 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• ektelo / ektelo
  ☆38Updated 2 years ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated last year
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆20Updated last week
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• smtcoq / sniper
  ☆36Updated 3 weeks ago
• uvm-plaid / chorus
  ☆31Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated this week
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• ipdl / ipdl
  ☆10Updated 2 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆73Updated last week
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• usnistgov / Differential-Privacy-Synthetic-Data-Challenge-assets
  This repository contains all public data, python scripts, and documentation relating to NIST Public Safety Communications Research Divisi…
  ☆11Updated 2 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• paulaneeley / modal
  ☆14Updated 4 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• uwplse / PUMPKIN-PATCH
  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
  ☆51Updated 9 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• spring-epfl / voteagain
  Proof of concept code for VoteAgain paper
  ☆10Updated last year
• thery / coqprime
  Prime numbers for Coq
  ☆37Updated 3 months ago
• apl-cornell / viaduct
  An extensible compiler for cryptography.
  ☆20Updated 2 months ago
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆18Updated 2 years ago