Alternatives and similar repositories for duet:

Users that are interested in duet are comparing it to the libraries listed below

• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 4 years ago
• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆22Updated 4 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated 11 months ago
• spring-epfl / voteagain
  Proof of concept code for VoteAgain paper
  ☆10Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• uvm-plaid / chorus
  ☆31Updated 2 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• jnear / cs211-data-privacy
  ☆44Updated 2 years ago
• smtcoq / sniper
  ☆36Updated 5 months ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆19Updated 2 months ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆22Updated last year
• IBM / discrete-gaussian-differential-privacy
  Code for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010
  ☆60Updated 4 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• vrahli / Velisarios
  A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
  ☆31Updated 5 years ago
• ektelo / ektelo
  ☆38Updated 2 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆63Updated 2 months ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆18Updated 2 years ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• mrtzh / PrivateMultiplicativeWeights.jl
  Differentially private synthetic data
  ☆46Updated 4 years ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 8 years ago
• meta-logic / coq-ll
  Formalization of Linear Logic in Coq
  ☆14Updated 5 months ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆55Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆53Updated last year
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆50Updated 11 months ago
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated 9 months ago
• xiw / arithcc
  ☆14Updated 4 years ago
• konnov / bymc
  Byzantine model checker
  ☆21Updated 2 years ago
• paulaneeley / modal
  ☆14Updated 4 years ago