Skip to content

@uvm-plaid UVM PLAID

Change the repository type filter

All

    Repositories list

    28 repositories

    • CIROH-NextGen-SMS-UVM

      Public
      Jupyter Notebook
      •0•2•0•0•Updated Nov 7, 2024Nov 7, 2024

    • SensCheck

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•3•0•Updated Nov 4, 2024Nov 4, 2024

    • jpdf

      Public
      TeX
      •0•1•0•0•Updated Nov 3, 2024Nov 3, 2024

    • picozk

      Public
      Python
      •
      MIT License
      •0•5•0•0•Updated Oct 12, 2024Oct 12, 2024

    • uvmhs

      Public
      Haskell
      •5•2•8•1•Updated Oct 6, 2024Oct 6, 2024

    • olympia

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

    • programming-dp

      Public
      Jupyter Notebook
      •85•292•3•5•Updated Jul 7, 2024Jul 7, 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
      •9•28•0•1•Updated Sep 16, 2022Sep 16, 2022

    • duet

      Public
      Duet: A Language for Differential Privacy
      Haskell
      •
      MIT License
      •3•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

    • 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

    • dream-team-iii

      Public
      THE DREAM TEAEEEEEEEM
      Haskell
      •0•0•0•0•Updated May 9, 2018May 9, 2018