GitHub repository: Ecdar/Ecdar-Web
Primary language: Rust
Description: A REST proxy for the gRPC implementation