GitHub repository: rpt/eqcmini
Primary language: Erlang
Description: Quviq Quickcheck Mini