rudymatela / fitspec Star 78 Code Issues Pull requests refine properties for testing Haskell programs mutation-testing property-based-testing property-testing enumerative-testing leancheck property-refinement Updated Jan 30, 2025 Haskell
rudymatela / leancheck Star 53 Code Issues Pull requests enumerative property-based testing for Haskell testing haskell property-based-testing testing-tools property-testing enumerative-testing leancheck Updated Mar 20, 2026 Haskell
rudymatela / speculate Star 32 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
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 Jan 30, 2025 Haskell
rudymatela / hspec-leancheck Star 2 Code Issues Pull requests LeanCheck support for the Hspec test framework. testing haskell testing-tools hspec testing-framework leancheck Updated Jan 30, 2025 Makefile
rudymatela / test-framework-leancheck Star 1 Code Issues Pull requests LeanCheck support for test-framework. testing haskell test-framework testing-tools testing-framework leancheck Updated Jan 30, 2025 Makefile
rudymatela / tasty-leancheck Star 1 Code Issues Pull requests LeanCheck support for the Tasty test framework (Haskell) testing haskell testing-tools tasty testing-framework leancheck Updated Jan 30, 2025 Makefile
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 May 12, 2025 Haskell
vivi90 / haskell-install Sponsor Star 0 Code Issues Pull requests Simple Haskell install script linux shell haskell install script arch cabal ghc manjaro leancheck cyp Updated Apr 8, 2021 Shell