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