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