https://people.compute.dtu.dk/alcsc
Tecnical University of Denmark Lyngby, DK
Alceste Scalas
Verified message-passing programs in Dotty
alcestes
Session programming in Scala
Multiparty Session Types toolKit