rudymatela / speculate Star 31 Code Issues Pull requests Speculate laws about Haskell functions testing haskell property-based-testing property-testing property-discovery enumerative-testing theory-exploration leancheck Updated Jan 30, 2025 Haskell
barrucadu / coco Star 4 Code Issues Pull requests The Concurrency Commentator; giving you cheap remarks about concurrent programs. testing haskell concurrency property-based-testing property-discovery Updated Dec 6, 2017 Haskell
api-evangelist / padmapper Star 0 Code Issues Pull requests PadMapper APIs.json profile real-estate housing property-discovery rental-listings apis-json apartment-search rental-market-data map-based-search naftiko Updated Jun 27, 2026