DAHeath

Pinned Repositories

3251_notes
00
4400_GTMRS
An implementation of the final project for CS4400.
Language:Java00
4420
Language:JavaScript10
bid
Language:Java00
formula
Language:Haskell10
GTMRS
12
Logic
Language:Haskell22
logstack
Stacked Garbling with `O(b log b)` overhead instead of `O(b^2)`
Language:TeX21
one-hot-garbling
Language:C++70
optic-graph
Haskell graph library
Language:Haskell10 3 82

DAHeath's Repositories

DAHeath/optic-graph
Haskell graph library
Language:Haskell10 3 82
DAHeath/one-hot-garbling
Language:C++70
DAHeath/Logic
Language:Haskell22
DAHeath/logstack
Stacked Garbling with `O(b log b)` overhead instead of `O(b^2)`
Language:TeX21
DAHeath/formula
Language:Haskell10
DAHeath/concat
Compiling to Categories
DAHeath/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python
DAHeath/cv
Language:TeX
DAHeath/DAHeath.github.io
Language:HTML
DAHeath/dot_files
Language:Shell
DAHeath/emp-c
A C wrapper around EMP. Useful for writing FFI bindings.
Language:C++
DAHeath/emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
Language:C++
DAHeath/emp-tool
Language:C++
DAHeath/formal-language
Language:Haskell
DAHeath/Lambda
Language:Haskell
DAHeath/MPCOrder
Language:TeX
DAHeath/proram
Language:C++
DAHeath/ram-utils
Language:C++3 0
DAHeath/Safety
DAHeath/seer
Language:Haskell
DAHeath/self-relational
Language:TeX
DAHeath/shara
Language:TeX
DAHeath/speedlimit
Network bandwidth limiter for testing iphone apps
DAHeath/stack_lang
Language:Python
DAHeath/starter-crypto-paper
A starting point for an LNCS formatted paper with Crypto citations.
Language:TeX
DAHeath/UC
Implementation of Valiant's universal circuit construction optimized for private function evaluation
DAHeath/vim-ls_redux
Language:VimL
DAHeath/z3
The Z3 Theorem Prover
Language:C++
DAHeath/z3-haskell
Language:Haskell
DAHeath/zk
Language:Haskell