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
• uvm-plaid / chorus
  ☆31Updated 2 years ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated last year
• ektelo / ektelo
  ☆38Updated 3 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 5 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆86Updated 11 months ago
• spring-epfl / voteagain
  Proof of concept code for VoteAgain paper
  ☆10Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆21Updated 2 weeks ago
• paulaneeley / modal
  ☆14Updated 4 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• smtcoq / sniper
  ☆36Updated 3 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 3 weeks ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 11 months ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• IBM / discrete-gaussian-differential-privacy
  Code for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010
  ☆60Updated 5 years ago
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated last month
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆14Updated 5 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
  ☆76Updated last month
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• xiw / arithcc
  ☆14Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago