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 5 years ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆37Updated 9 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Updated 2 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆44Updated 4 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆72Updated 3 weeks ago
• jtristan / stump-learnable
  ☆16Updated 5 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆54Updated 3 months ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• uvm-plaid / chorus
  ☆31Updated 3 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆58Updated 3 months ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated 2 years ago
• data61 / PSL
  ☆73Updated 2 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated 3 weeks ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆14Updated 2 years ago
• Zeta611 / simplebnf
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆42Updated 2 months ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆30Updated 3 weeks ago
• caterinaurban / Libra
  ☆24Updated 4 years ago
• smtcoq / sniper
  ☆38Updated 9 months ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 4 months ago
• ufmg-smite / carcara
  ☆40Updated 2 weeks ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆27Updated 3 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆43Updated 8 months ago