Fibril Repository Root

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

Crates

Crate	Links
consistency_model	docs source
fibril	docs source
fibril_core	docs source
fibril_verifier	docs source
vector_clock	docs source

Contributing

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

License

See LICENSE-APACHE and LICENSE-MIT.