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
  ☆66Updated 5 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆66Updated this week
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• xiw / arithcc
  ☆14Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated 2 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 3 months ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated 3 weeks ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆42Updated 4 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆79Updated 3 months ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• JoeyLupo / cryptolib
  ☆16Updated 2 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated last month
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last month
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆18Updated 2 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• dtumad / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆36Updated this week
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆17Updated last week
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆36Updated 2 years ago
• uvm-plaid / chorus
  ☆31Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆28Updated 2 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆25Updated last year