dvrana

Pinned Repositories

fractal
Code for producing various computational images.
Language:C00
hail
Hail, a framework for scalable genetic data analysis
Language:Scala00
lsimpute
Language:C++00
verifast
Research prototype tool for modular formal verification of C and Java programs
Language:OCaml00

dvrana's Repositories

dvrana/fractal
Code for producing various computational images.
Language:C00
dvrana/hail
Hail, a framework for scalable genetic data analysis
Language:Scala00
dvrana/lsimpute
Language:C++00
dvrana/verifast
Research prototype tool for modular formal verification of C and Java programs
Language:OCaml00