<p align="center">
<img src="https://lsd-ucsc.github.io/ChoRus/assets/ChoRus.png" width="256" height="256">
</p>
<h1 align="center">ChoRus</h1>
<p align="center"><b>Choreographic Programming in Rust</b></p>
<p align="center">
<a href="https://github.com/lsd-ucsc/ChoRus/actions/workflows/rust.yml" target="_blank" rel="noreferrer">
<img alt="GitHub Workflow Status" src="https://img.shields.io/github/actions/workflow/status/lsd-ucsc/ChoRus/rust.yml">
</a>
<a href="https://crates.io/crates/chorus_lib" target="_blank" rel="noreferrer">
<img alt="Crates.io" src="https://img.shields.io/crates/v/chorus_lib">
</a>
<a href="https://docs.rs/chorus_lib/latest/chorus_lib/" target="_blank" rel="noreferrer">
<img alt="docs.rs" src="https://img.shields.io/docsrs/chorus_lib">
</a>
<a href="https://github.com/lsd-ucsc/ChoRus/blob/main/LICENSE" target="_blank" rel="noreferrer">
<img alt="GitHub" src="https://img.shields.io/github/license/lsd-ucsc/ChoRus">
</a>
</p>
Please see the [ChoRus website](https://lsd-ucsc.github.io/ChoRus/) and [API document](https://docs.rs/chorus_lib) for more information.