Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / bmmoore / kcoq
Tool used by K framework Coq backend
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bmmoore%2Fkcoq
Stars: 1
Forks: 1
Open Issues: 0
License: None
Language: Haskell
Repo Size: 164 KB
Dependencies:
93
Created: almost 10 years ago
Updated: over 6 years ago
Last pushed: almost 10 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
kcoq.cabal
hackage
- async *
- base *
- containers *
- criterion *
- directory *
- fgl *
- filepath *
- kcoq *
- lens *
- mtl *
- optparse-applicative *
- parallel *
- parsec *
- stm *
- template-haskell *
- transformers *
- validation *
cabal.config
hackage
- Glob 0.7.5
- abstract-deque 0.3
- abstract-par 0.3.3
- aeson 0.7.0.6
- ansi-terminal 0.6.1.1
- ansi-wl-pprint 0.6.7.1
- array 0.5.0.0
- async 2.0.1.5
- attoparsec 0.12.1.0
- base 4.7.0.1
- bifunctors 4.1.1.1
- binary 0.7.1.0
- blaze-builder 0.3.3.2
- bytestring 0.10.4.0
- cereal 0.4.0.1
- comonad 4.2
- containers 0.5.5.1
- contravariant 0.6
- criterion 0.8.1.0
- deepseq 1.3.0.2
- directory 1.2.1.0
- distributive 0.4.4
- dlist 0.7.1
- erf 2.0.0.0
- exceptions 0.6.1
- fgl 5.5.0.1
- filepath 1.3.0.2
- free 4.9
- ghc-prim 0.3.1.0
- hashable 1.2.2.0
- hastache 0.6.0
- ieee754 0.7.3
- integer-gmp 0.5.1.0
- lens 4.2
- math-functions 0.1.5.2
- mink 0.1.0.0
- monad-par 0.3.4.6
- monad-par-extras 0.3.3
- mtl 2.2.1
- mwc-random 0.13.1.2
- nats 0.2
- old-locale 1.0.0.6
- optparse-applicative 0.9.0
- parallel 3.2.0.4
- parsec 3.1.5
- prelude-extras 0.4
- pretty 1.1.1.1
- primitive 0.5.3.0
- process 1.2.0.0
- profunctors 4.0.4
- random 1.0.1.1
- reflection 1.4
- rts 1.0
- scientific 0.3.2.2
- semigroupoids 4.0.2.1
- semigroups 0.15.1
- split 0.2.2
- statistics 0.11.0.3
- stm 2.4.3
- syb 0.4.2
- tagged 0.7.2
- template-haskell 2.9.0.0
- text 1.1.1.3
- time 1.4.2
- transformers 0.4.1.0
- transformers-compat 0.3.3.4
- unix 2.7.0.1
- unordered-containers 0.2.5.0
- utf8-string 0.3.8
- validation 0.3.4
- vector 0.10.11.0
- vector-algorithms 0.6.0.1
- vector-binary-instances 0.2.1.0
- vector-th-unbox 0.2.1.0
- void 0.6.1
- zlib 0.5.4.1