rudymatela / fitspec Star 74 Code Issues Pull requests refine properties for testing Haskell programs mutation-testing property-based-testing property-testing enumerative-testing leancheck property-refinement Updated Feb 9, 2024 Haskell
rudymatela / leancheck Star 51 Code Issues Pull requests enumerative property-based testing for Haskell testing haskell property-based-testing testing-tools property-testing enumerative-testing leancheck Updated Feb 9, 2024 Haskell
rudymatela / speculate Star 30 Code Issues Pull requests Speculate laws about Haskell functions testing haskell property-based-testing property-testing property-discovery enumerative-testing theory-exploration leancheck Updated Feb 13, 2024 Haskell
rudymatela / extrapolate Star 13 Code Issues Pull requests generalize counter-examples of property-based testing testing debugging haskell property-based-testing testing-tools property-testing enumerative-testing leancheck generalization counter-example-generalization Updated Feb 9, 2024 Haskell
rudymatela / leancheck-instances Star 1 Code Issues Pull requests Common LeanCheck instances testing haskell property-based-testing testing-tools property-testing enumerative-testing leancheck Updated Feb 9, 2024 Haskell