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