Skip to content

@uvm-plaid UVM PLAID

Change the repository type filter

All

    Repositories list

    31 repositories

    • jpdf

      Public
      TeX
      •0•1•0•0•Updated Feb 5, 2025Feb 5, 2025

    • picozk

      Public
      Python
      •
      MIT License
      •0•5•0•0•Updated Feb 5, 2025Feb 5, 2025

    • uvmhs

      Public
      Haskell
      •6•2•8•1•Updated Feb 5, 2025Feb 5, 2025

    • CIROH-NextGen-SMS-UVM

      Public
      Jupyter Notebook
      •0•2•0•0•Updated Feb 4, 2025Feb 4, 2025

    • CS6990B-S25

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Jan 28, 2025Jan 28, 2025

    • programming-dp

      Public
      Jupyter Notebook
      •87•306•3•0•Updated Jan 27, 2025Jan 27, 2025

    • SensCheck

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•3•0•Updated Jan 14, 2025Jan 14, 2025

    • olympia

      Public
      Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols
      Jupyter Notebook
      •
      MIT License
      •0•6•1•0•Updated Dec 5, 2024Dec 5, 2024

    • private_llm_generation

      Public
      Jupyter Notebook
      •0•1•0•0•Updated Oct 23, 2024Oct 23, 2024

    • CS6993-S23

      Public
      CS6993-S23 Independent Study in Proof Assistants
      Coq
      •1•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • CS3250-F23

      Public
      OCaml
      •2•0•0•0•Updated Dec 7, 2023Dec 7, 2023

    • CIROH-NextGen-SMS-UA

      Public
      0•0•0•0•Updated Oct 4, 2023Oct 4, 2023

    • CIROH-NextGen-SMS-USU

      Public
      0•0•0•0•Updated Oct 4, 2023Oct 4, 2023

    • solo

      Public
      Haskell
      •
      MIT License
      •2•5•0•0•Updated May 26, 2023May 26, 2023

    • oblif

      Public
      Tooling for writing data-oblivious programs (mpyc, pysnark, ...) using non-oblivious constructs (if/for/...)
      Python
      •
      MIT License
      •1•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • chorus

      Public
      Scala
      •
      MIT License
      •11•30•0•1•Updated Sep 16, 2022Sep 16, 2022

    • duet

      Public
      Duet: A Language for Differential Privacy
      Haskell
      •
      MIT License
      •4•17•1•0•Updated Jul 5, 2022Jul 5, 2022

    • backpropagation-clipping

      Public
      Python
      •5•5•0•0•Updated Feb 21, 2022Feb 21, 2022

    • CS265-public

      Public
      Python
      •0•0•0•0•Updated Feb 14, 2022Feb 14, 2022

    • contextual-duet

      Public
      Implementation of Contextual Duet in Haskell
      Haskell
      •0•0•0•0•Updated Oct 29, 2021Oct 29, 2021

    • dduo-python

      Public
      the dduo python reference implementation
      Jupyter Notebook
      •
      MIT License
      •2•7•0•0•Updated Jun 23, 2021Jun 23, 2021

    • phosphor-mod

      Public
      Java
      •
      MIT License
      •0•2•0•1•Updated Oct 13, 2020Oct 13, 2020

    • duet-sgx

      Public
      Haskell
      •
      MIT License
      •3•4•1•0•Updated Jun 29, 2020Jun 29, 2020

    • cs225-hw-2020-01

      Public
      Haskell
      •2•1•0•0•Updated May 8, 2020May 8, 2020

    • cxtduet-agda

      Public
      Mechanization of Contextual Duet's Metatheory in Agda
      Agda
      •1•0•0•0•Updated Dec 21, 2019Dec 21, 2019

    • agda-basics

      Public
      Agda
      •0•1•0•0•Updated Nov 22, 2019Nov 22, 2019

    • hook-ai

      Public
      Haskell
      •0•0•0•0•Updated Oct 24, 2019Oct 24, 2019

    • PCNC_CCS_2019

      Public
      OCaml
      •2•0•0•0•Updated Sep 26, 2019Sep 26, 2019

    • hookadvice-ai

      Public
      Haskell
      •0•1•0•0•Updated Feb 27, 2019Feb 27, 2019

    • privacy-queries

      Public
      PLpgSQL
      •0•1•0•0•Updated Feb 18, 2019Feb 18, 2019