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