Topic: "enumerative-testing"
rudymatela/fitspec
refine properties for testing Haskell programs
Language: Haskell - Size: 636 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 74 - Forks: 0
rudymatela/leancheck
enumerative property-based testing for Haskell
Language: Haskell - Size: 1.29 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 53 - Forks: 8
rudymatela/speculate
Speculate laws about Haskell functions
Language: Haskell - Size: 1.05 MB - Last synced at: 29 days ago - Pushed at: 3 months ago - Stars: 30 - Forks: 0
rudymatela/extrapolate
generalize counter-examples of property-based testing
Language: Haskell - Size: 523 KB - Last synced at: 29 days ago - Pushed at: 3 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: about 1 month ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 1
rudymatela/leancheck-instances
Common LeanCheck instances
Language: Haskell - Size: 131 KB - Last synced at: 2 days ago - Pushed at: 2 days 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: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1
