Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sergv / random-program-generation
Investigate ways to generate random program that satisfy some predicates (e.g. are well-typed, evaluate to something, etc)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sergv%2Frandom-program-generation
Stars: 1
Forks: 0
Open Issues: 0
License: None
Language: Haskell
Repo Size: 156 KB
Dependencies:
11
Created: about 9 years ago
Updated: 9 months ago
Last pushed: almost 9 years ago
Last synced: 9 months ago
Files
Loading...
Readme
Loading...
Dependencies
random-program-generation.cabal
hackage
- QuickCheck *
- base >=4.7
- containers *
- hkanren *
- mtl *
- random *
- random-program-generation *
- random-source *
- semigroups *
- text *
- wl-pprint-text *