GitHub repository: rudymatela/leancheck
Primary language: Haskell
Description: enumerative property-based testing for Haskell