ChoRus

Choreographic Programming in Rust

GitHub Workflow Status Crates.io docs.rs GitHub

Please see the [ChoRus website](https://lsd-ucsc.github.io/ChoRus/) and [API document](https://docs.rs/chorus_lib) for more information.