Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / termite2 / synthesis
Termite synthesis engine
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/termite2%2Fsynthesis
Stars: 3
Forks: 2
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 547 KB
Dependencies:
13
Created: almost 10 years ago
Updated: 2 months ago
Last pushed: over 9 years ago
Last synced: 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
synthesis.cabal
hackage
- base >=4.6 && <4.8
- containers ==0.5.*
- cudd ==0.1.*
- lens ==4.*
- mmorph ==1.*
- mtl >=2.1 && <2.3
- safe ==0.3.*
- template-haskell >=2.8 && <2.10
- text ==1.1.*
- transformers >=0.3 && <0.5
- tuple ==0.2.*
- util ==0.1.*
- wl-pprint-text ==1.*