Saved Queries
|
Clocks: Monotonic, Wall, TrueTime
|
|
Key/value LevelDB-like database API with consistent snapshots and atomic batch writes
|
|
Linearizability checker
|
|
Framework for implementing & testing tiny distributed systems
|
|
Technosphere course project
|
