Pinned Loading

1. uvm-plaid/programming-dp uvm-plaid/programming-dp Public

   Jupyter Notebook 334 91

2. uvm-plaid/dduo-python uvm-plaid/dduo-python Public

   the dduo python reference implementation

   Jupyter Notebook 7 5

3. uvm-plaid/duet uvm-plaid/duet Public

   Duet: A Language for Differential Privacy

   Haskell 16 4

4. uvm-plaid/contextual-duet uvm-plaid/contextual-duet Public

   Implementation of Contextual Duet in Haskell

   Haskell 1

5. EbookFoundation/free-programming-books EbookFoundation/free-programming-books Public

   📚 Freely available programming books

   Python 381k 65.7k

6. uvm-plaid/cxtduet-agda uvm-plaid/cxtduet-agda Public

   Mechanization of Contextual Duet's Metatheory in Agda

   Agda 1