GitHub repository: sarvex/ferrite
Primary language: Rust
Description: Session Type EDSL for Rust