GitHub repository: Ecdar/Ecdar-API
Primary language: Rust
Description: Project that defines the interface between a database and Reveaal