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