Welcome • Choreographic Programming

GitHub

Choreographic Programming

Join our community on Zulip!

This site is maintained by The Choreographic Programming Community. If you find any problems or want to add something, please open an issue or PR. The theme is based on Docsy Jekyll.