Calls: Send in your ideas. Deadline October 1st, 2023.


Choreography programming language integrated with the Rust ecosystem

Choreo-rs is a new programming language, based on the Rust ecosystem, designed from the ground up for correct-by-construction distributed systems. In its core it is pure and functional, thus ideal for building complex concurrent systems. It takes cues from choreographic programming language research: The behaviour of all roles in a distributed application can be implemented at once from a global point of view. This high-level description is compiled to rust code for all participating roles, with the guarantee that the system will be deadlock-free. Developers can seamlessly drop down to using rust, and all of its ecosystem, for writing local code, while using choreo-rs for composing the local computations into a coherent distributed system. In this project we implement the type-checker, compiler and other developer tools for choreo-rs, to provide for a similarly friendly developer experience as Rust.

  • The project's own website:

Logo NLnet: abstract logo of four people seen from above Logo NGI Zero: letterlogo shaped like a tag

This project was funded through the NGI0 Core Fund, a fund established by NLnet with financial support from the European Commission's Next Generation Internet programme, under the aegis of DG Communications Networks, Content and Technology under grant agreement No 101092990.

Navigate projects

Job openings : NLnet is looking for (junior or senior) technology assessors .

Currently open for proposals:

Want to help but no money to spend? Help us by protecting open source and its users.