choreographic-programming

A compiler, testing bed, and standard library for the Choral programming language.

Choreographic programming in Elixir

Choreographic programming in Scala

Tempo Choreographic Programming Language

A repository of use cases and examples of Choral choreographies

Lightweight and efficient choreographic programming for cloud services

Tempo for Visual Studio Code

Graded multiparty session / choreographic types in Agda, combining echo loss-grades with epistemic warrants. The keystone K-CUT (grading and transport commute with endpoint projection) is machine-checked, --safe --without-K, for the finite binary-choice plain-merge fragment plus asynchrony. Recursion, full merge, delegation open.

Source of choreographically.github.io

Choreographic Protocol