This repository houses a collection of Rust crates for implementing and verifying distributed systems.

Please make sure your code passes tests/clippy, and apply auto-formatting:

1. cargo test && cargo test --examples
2. cargo clippy && cargo clippy --examples
3. cargo fmt

See LICENSE-APACHE and LICENSE-MIT.