/fibril

Primary LanguageRustApache License 2.0Apache-2.0

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.