π-calculus, Session Types research at Imperial College
MultiCrusty is a Rust implementation for Multiparty Session Types.
This tool allows the user to write and check communication protocols directly in Rust. It can also be used with Scribble or KMC.