Popular repositories

1. stateright stateright Public

   A model checker for implementing distributed systems.

   Rust 1.5k 53

2. stateright.github.io stateright.github.io Public

   "Building Distributed Systems with Stateright"

   JavaScript 9 3