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

Source of choreographically.github.io

Pre-registration and research notebook for a graded multiparty-session type theory combining echo loss-grades and epistemic warrants on partial causal orders. Central artefact: K-CUT, the open conjecture that grading and transport commute with endpoint projection across a consistent frontier. Agda is the intended prover; no checked module yet.

Choreographic Protocol