uvm-plaid / duet
Duet: A Language for Differential Privacy
☆17Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for duet
- Differential Privacy Testing System☆20Updated 4 years ago
- Statistical Counterexample Detector for Differential Privacy☆28Updated 7 months ago
- Code for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010☆59Updated 4 years ago
- Certified Machine Learning☆40Updated 3 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- ☆38Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year
- ☆29Updated 2 years ago
- ☆13Updated 3 years ago
- ☆16Updated 3 years ago
- ☆35Updated 3 weeks ago
- ☆14Updated 4 months ago
- proof script associated to tutorial material☆17Updated last year
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆74Updated this week
- Python wrapper for open source Zero Proof Knowledge Library☆29Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- ☆14Updated 3 years ago
- A Secure Multiparty Computation (MPC) protocol for computing linear regression on vertically distributed datasets.☆32Updated 5 years ago
- ☆22Updated this week
- ☆44Updated last year
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆51Updated 4 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- ☆13Updated 4 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago
- A program logic for concurrent randomized programs☆11Updated 6 years ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 2 months ago
- Proof assistant for qRHL☆18Updated last month
- ☆43Updated 3 years ago