GitHub repository: leepike/SmartCheck
Primary language: TeX
Description: A Smarter QuickCheck