Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: enumerative-testing
rudymatela/fitspec
refine properties for testing Haskell programs
Language: Haskell - Size: 634 KB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 74 - Forks: 0
rudymatela/leancheck
enumerative property-based testing for Haskell
Language: Haskell - Size: 1.28 MB - Last synced: 27 days ago - Pushed: 4 months ago - Stars: 51 - Forks: 7
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: 8 months ago - Pushed: almost 3 years ago - Stars: 7 - Forks: 1
rudymatela/speculate
Speculate laws about Haskell functions
Language: Haskell - Size: 1.05 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 30 - Forks: 0
rudymatela/extrapolate
generalize counter-examples of property-based testing
Language: Haskell - Size: 521 KB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 13 - Forks: 0
rudymatela/leancheck-instances
Common LeanCheck instances
Language: Haskell - Size: 114 KB - Last synced: 15 days ago - Pushed: 4 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: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1