GitHub repository: lmmx/timed-scheduler
Primary language: Rust
Description: Demo of clock-zones crate usage to make timed automata