GitHub repository: mndrix/quickcheck
Primary language: Prolog
Description: Randomized testing for Prolog à la QuickCheck