Pinned Repositories
boogie
Boogie
smack
SMACK Software Verifier and Verification Toolchain
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
boogie
Boogie
corral
solver for the reachability modulo theories problem
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
MIRAI
Rust mid-level IR Abstract Interpreter
sv-benchmarks
zvonimir.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
zvonimir's Repositories
zvonimir/boogie
Boogie
zvonimir/corral
solver for the reachability modulo theories problem
zvonimir/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
zvonimir/libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
zvonimir/MIRAI
Rust mid-level IR Abstract Interpreter
zvonimir/sv-benchmarks
zvonimir/zvonimir.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll