Choral: Choreographic Programming for Java

Choral Language Website --> Home Documentation Install About a choreographic programming language Install Learn Articles View the source on Choral is a language for programming choreographies. A choreography is a multiparty protocol that defines how some roles (the proverbial Alice, Bob, etc.) should coordinate with each other to do something together. You can use Choral to program distributed authentication protocols, cryptographic protocols, business processes, parallel algorithms, or any othe