GitHub repository: krestenkrab/triq
Primary language: Erlang
Description: Trifork QuickCheck