Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / antalsz / hs-to-coq
Convert Haskell source code to Coq source code
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/antalsz%2Fhs-to-coq
Stars: 280
Forks: 26
Open Issues: 62
License: mit
Language: Coq
Repo Size: 11.8 MB
Dependencies:
48
Created: about 7 years ago
Updated: 5 months ago
Last pushed: over 3 years ago
Last synced: 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
- QuickCheck >=2.9.2 benchmark
- base >=4.9 && <5 benchmark
- containers ==0.5.11.0 benchmark
- containers-extracted * benchmark
- criterion * benchmark
- deepseq >=1.1.0.0 && <1.5 benchmark
- random * benchmark
- QuickCheck >=2.9.2
- base >=4.9 && <5
- deepseq *
- random *
- HUnit * test
- QuickCheck >=2.9.2 test
- QuickCheck * test
- base >=4.9 && <5 test
- containers * test
- containers-extracted * test
- deepseq * test
- random * test
- test-framework * test
- test-framework-hunit * test
- test-framework-quickcheck2 * test
- transformers * test
examples/graph/graph/fgl.cabal
hackage
- base * benchmark
- deepseq * benchmark
- fgl * benchmark
- microbench * benchmark
- array *
- base >=4.3 && <5
- containers >=0.4.2
- containers <0.4.2
- deepseq >=1.1.0.0 && <1.5
- ghc-prim *
- transformers *
- QuickCheck >=2.8 && <2.13 test
- base * test
- containers * test
- fgl * test
- hspec >=2.1 && <2.7 test
- array ==0.5.*
- base ==4.9.*
- bytestring ==0.10.*
- containers ==0.5.*
- ghc ==8.0.2
- mtl ==2.2.*
- syb ==0.6.*
- template-haskell ==2.11.*
- transformers ==0.5.*