GitHub repository: meyerphi/strix
Primary language: Rust
Description: Strix is a tool for reactive synthesis of controllers from LTL specifications.