GitHub repository: zatoichi-labs/quickcheck
Primary language: Rust
Description: QuickCheck for Rust (with shrinking).