All Categories → No Category → leancheck

Top 2 leancheck open source projects

enumerative property-based testing for Haskell

✭ 38

haskell Makefile shell testing property-based-testing testing-tools property-testing enumerative-testing leancheck

generalize counter-examples of property-based testing

✭ 13

haskell Makefile shell testing debugging property-based-testing testing-tools property-testing enumerative-testing leancheck generalization counter-example-generalization

1-2 of 2 leancheck projects