Skip to content
@uvm-plaid

UVM PLAID

Popular repositories Loading

  1. programming-dp programming-dp Public

    Jupyter Notebook 296 86

  2. chorus chorus Public

    Scala 28 9

  3. duet duet Public

    Duet: A Language for Differential Privacy

    Haskell 17 3

  4. dduo-python dduo-python Public

    the dduo python reference implementation

    Jupyter Notebook 7 2

  5. olympia olympia Public

    Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols

    Jupyter Notebook 6

  6. backpropagation-clipping backpropagation-clipping Public

    Python 5 5

Repositories

Showing 10 of 29 repositories
  • uvm-plaid/CIROH-NextGen-SMS-UVM’s past year of commit activity
    Jupyter Notebook 2 0 0 0 Updated Nov 18, 2024
  • uvm-plaid/SensCheck’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 3 (1 issue needs help) 0 Updated Nov 17, 2024
  • jpdf Public
    uvm-plaid/jpdf’s past year of commit activity
    TeX 1 0 0 0 Updated Nov 15, 2024
  • uvm-plaid/private_llm_generation’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Oct 23, 2024
  • picozk Public
    uvm-plaid/picozk’s past year of commit activity
    Python 5 MIT 0 0 0 Updated Oct 12, 2024
  • uvmhs Public
    uvm-plaid/uvmhs’s past year of commit activity
    Haskell 2 5 8 1 Updated Oct 6, 2024
  • olympia Public

    Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols

    uvm-plaid/olympia’s past year of commit activity
    Jupyter Notebook 6 MIT 0 1 0 Updated Oct 3, 2024
  • uvm-plaid/programming-dp’s past year of commit activity
    Jupyter Notebook 296 86 3 5 Updated Jul 7, 2024
  • CS6993-S23 Public

    CS6993-S23 Independent Study in Proof Assistants

    uvm-plaid/CS6993-S23’s past year of commit activity
    Coq 0 1 0 0 Updated Feb 6, 2024
  • uvm-plaid/CS3250-F23’s past year of commit activity
    OCaml 0 2 0 0 Updated Dec 7, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…