Choral

A mainstream choreographic programming language.

jLibBig

A Java library for Bigraphs and Bigraphical Reactive Systems.

LEMMA2Jolie

A tool for generating microservice APIs from domain models.

JoT

A Jolie Framework for Testing Microservices.

EPiM

A simulator for π-calculus processes.