GitHub repository: BurntSushi/quickcheck
Primary language: Rust
Description: Automated property based testing for Rust (with shrinking).