phd
yggdrasil
0 0

A framework for executable UC specifications.

Updated 4 days ago

uc.sty
0 0

Updated 1 week ago

agda-vim
0 0

Updated 2 weeks ago

Updated 3 months ago

nyx
0 0

Updated 1 year ago

vim-nyx
0 0

Updated 1 year ago

Updated 1 year ago

moirai
0 0

Updated 1 year ago

Updated 1 year ago

libsnark
0 0

Updated 1 year ago

usnark
0 0

Updated 1 year ago

testsnark
0 0

Updated 1 year ago

libff
0 0

Updated 1 year ago

People