phd
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
thesis
PostScript 0 0

My PhD thesis.

Updated 5 months ago

crypto.sty
TeX 0 0

Updated 6 months ago

uc.sty
TeX 0 0

Updated 1 year ago

zixzax
Markdown 0 0

Updated 2 years ago

yggdrasil
Agda 0 0

A framework for executable UC specifications.

Updated 3 years ago

agda-vim
Vim script 0 0

Updated 3 years ago

papernotes
TeX 0 0

Updated 3 years ago

nyx
Rust 0 0

Updated 4 years ago

vim-nyx
Vim script 0 0

Updated 4 years ago

zksnarkexplainer
TeX 0 0

Updated 4 years ago

moirai
Rust 0 0

Updated 4 years ago

tinyram_tests
Shell 0 0

Updated 4 years ago

libsnark
C++ 0 0

Updated 4 years ago

usnark
Rust 0 0

Updated 4 years ago

testsnark
C++ 0 0

Updated 4 years ago

People