GitHub repository: kaseyc/hephaestus
Primary language: Rust
Description: Automata for Rust