π-calculus, Session Types research at the University of Oxford
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.