Topic: "enumerative-testing"
rudymatela/fitspec
refine properties for testing Haskell programs
Language: Haskell - Size: 636 KB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 76 - Forks: 0
rudymatela/leancheck
enumerative property-based testing for Haskell
Language: Haskell - Size: 1.33 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 52 - Forks: 8
rudymatela/speculate
Speculate laws about Haskell functions
Language: Haskell - Size: 1.05 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 30 - Forks: 0
rudymatela/extrapolate
generalize counter-examples of property-based testing
Language: Haskell - Size: 523 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 13 - Forks: 0
vrikodar/Mufasa
Mufasa is a powerful comment scraper , mufasa can automatically scrape comments from Main Page, Javascript and CSS files used by a website.
Language: Python - Size: 411 KB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 1
rudymatela/leancheck-instances
Common LeanCheck instances
Language: Haskell - Size: 132 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
Blaieet/Advanced-Algorithmic
Second-degree Computer Engineering subject at Universitat de Barcelona
Language: Jupyter Notebook - Size: 321 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
