Pinned Repositories
boogie-docker
corral
solver for the reachability modulo theories problem
CS-601_S16
Computer Science track core course, IST Austria, Spring 2016
dafny
Dafny is a verification-aware programming language
indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
scal
High-performance multicore-scalable data structures and benchmarks
shuttle
Shuttle is a library for testing concurrent Rust code
dafny
Dafny is a verification-aware programming language
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
bkragl's Repositories
bkragl/boogie-docker
bkragl/corral
solver for the reachability modulo theories problem
bkragl/CS-601_S16
Computer Science track core course, IST Austria, Spring 2016
bkragl/dafny
Dafny is a verification-aware programming language
bkragl/indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
bkragl/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
bkragl/scal
High-performance multicore-scalable data structures and benchmarks
bkragl/shuttle
Shuttle is a library for testing concurrent Rust code