GitHub repository: spector-in-london/dialectic
Description: Transport-polymorphic, asynchronous session types for Rust