Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / pepeiborra / narradar
An automatic prover of termination of logic programs and narrowing
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pepeiborra%2Fnarradar
Stars: 6
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 1.92 MB
Dependencies:
58
Created: about 15 years ago
Updated: almost 4 years ago
Last pushed: over 8 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
narradar.cabal
hackage
- GraphSCC *
- QuickCheck >2 && <3
- TRSParser >=0.4
- alacarte >=0.4
- array *
- base >=4
- base *
- base <4
- bimap *
- bindings-yices *
- bytestring *
- bytestring-trie *
- cgi *
- containers *
- control-monad-failure ==0.7.*
- control-monad-free >=0.4.1
- dataenc *
- deepseq *
- directory *
- failure ==0.1.*
- fgl *
- file-embed *
- filepath *
- funsat >=0.6.2
- graphviz ==2999.1.0.2
- hashable *
- hashmap *
- hood *
- hood-off *
- logict *
- mtl >=2.0.1.0
- muterm-framework >=1.3.2
- muterm-framework *
- muterm-framework-charts *
- network *
- parallel >2
- parse-dimacs *
- parsec >3
- polyparse ==1.4
- prettyclass *
- process *
- prolog ==0.1.20110628.1
- prolog *
- prolog-tools >=0.1.20100228 && <0.1.20111100
- rmonad *
- safe-failure *
- split *
- strict *
- suitable *
- tagsoup *
- template-haskell *
- term >=0.1.2011 && <0.1.20111100
- test-framework *
- test-framework-quickcheck2 *
- timeit *
- unix *
- xhtml *
- yices >0.0.0.4