GitHub repository: moodmosaic/madhouse
Primary language: Rust
Description: Model-based Rust state machine testing. Inspired by Hughes, Testing the Hard Stuff and Staying Sane.