Projects in Awesome Lists tagged with enumerative-testing
A curated list of projects in awesome lists tagged with enumerative-testing .
https://github.com/rudymatela/fitspec
refine properties for testing Haskell programs
enumerative-testing leancheck mutation-testing property-based-testing property-refinement property-testing
Last synced: 08 May 2025
https://github.com/rudymatela/leancheck
enumerative property-based testing for Haskell
enumerative-testing haskell leancheck property-based-testing property-testing testing testing-tools
Last synced: 20 Aug 2025
https://github.com/rudymatela/speculate
Speculate laws about Haskell functions
enumerative-testing haskell leancheck property-based-testing property-discovery property-testing testing theory-exploration
Last synced: 15 Apr 2025
https://github.com/rudymatela/extrapolate
generalize counter-examples of property-based testing
counter-example-generalization debugging enumerative-testing generalization haskell leancheck property-based-testing property-testing testing testing-tools
Last synced: 15 Apr 2025
https://github.com/vrikodar/mufasa
Mufasa is a powerful comment scraper , mufasa can automatically scrape comments from Main Page, Javascript and CSS files used by a website.
comment-sorting enumeration enumerative-testing hunter information-gathering oscp osint-python reconnaissance reconnaissane scrape-comments scraper source-code-reading
Last synced: 13 Apr 2025
https://github.com/rudymatela/leancheck-instances
Common LeanCheck instances
enumerative-testing haskell leancheck property-based-testing property-testing testing testing-tools
Last synced: 29 Jun 2025