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