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

Agda formalisation of a graded multiparty-session type theory combining echo loss-grades and epistemic warrants on partial causal orders. The central artefact is K-CUT: the open conjecture that grading and transport commute with endpoint projection across a consistent frontier (antichain), splitting into equality on loss-grades/bound on warrants.

Source of choreographically.github.io

Choreographic Protocol