Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / LukasZim / agda2java
agda2java compiler
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LukasZim%2Fagda2java
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 27.2 MB
Dependencies:
97
Created: about 2 years ago
Updated: almost 2 years ago
Last pushed: almost 2 years ago
Last synced: about 1 year ago
Topics: tudelft-cse-research-project
Files
Loading...
Readme
Loading...
Dependencies
agda2java.cabal
hackage
- Agda >=2.6.2.1 && <2.6.3
- Cabal *
- agda2java *
- base >=4.7 && <5
- containers *
- deepseq >=1.4.5
- directory *
- filepath >=1.4 && <2
- ghc *
- language-java >=0.2.9
- mtl >=2.2.2
- text *
- Agda >=2.6.2.1 && <2.6.3 test
- Cabal * test
- agda2java * test
- base >=4.7 && <5 test
- containers * test
- deepseq >=1.4.5 test
- directory * test
- filepath >=1.4 && <2 test
- ghc * test
- language-java >=0.2.9 test
- mtl >=2.2.2 test
- text * test
- array *
- base >=2 && <5
- criterion >=1.5.4.0 && <1.6
- mwc-random >=0.5 && <0.15
- optparse-applicative *
- vector *
- base >=4.5 && <4.18
- deepseq >=1.1 && <1.5
- fail ==4.9.*
- ghc-prim >=0.2 && <0.10
- primitive >=0.6.4.0 && <0.8
- semigroups >=0.18 && <0.21
- HUnit * test
- QuickCheck >=2.9 && <2.15 test
- base >=4.5 && <5 test
- base * test
- base-orphans >=0.6 test
- doctest >=0.15 && <0.19 test
- primitive * test
- primitive >=0.6.4.0 && <0.8 test
- random * test
- semigroups * test
- tasty * test
- tasty-hunit * test
- tasty-quickcheck * test
- template-haskell * test
- transformers >=0.2.0.0 test
- vector * test
- Agda *
- Win32 >=2.3.1.1 && <2.13
- aeson >=1.1.2.0 && <2.1
- array >=0.5.1.1 && <0.6
- async ==2.2.*
- base >=4.9.0.0 && <4.17
- base *
- binary >=0.8.3.0 && <0.9
- blaze-html >=0.8 && <0.10
- boxes >=0.1.3 && <0.2
- bytestring >=0.10.8.1 && <0.12
- case-insensitive >=1.2.0.4 && <1.3
- containers >=0.5.11.0 && <0.7
- data-hash >=0.2.0.0 && <0.3
- deepseq >=1.4.2.0 && <1.5
- directory >=1.2.6.2 && <1.4
- edit-distance >=0.2.1.2 && <0.3
- equivalence >=0.3.2 && <0.5
- exceptions >=0.8 && <0.11
- filepath >=1.4.1.0 && <1.5
- ghc-compact ==0.1.*
- gitrev >=1.3.1 && <2.0
- hashable >=1.2.1.0 && <1.5
- hashtables >=1.2.0.2 && <1.4
- haskeline >=0.7.2.3 && <0.9
- monad-control >=1.0.1.0 && <1.1
- mtl >=2.2.1 && <2.4
- murmur-hash ==0.1.*
- parallel >=3.2.2.0 && <3.3
- pretty >=1.1.3.3 && <1.2
- process >=1.4.2.0 && <1.7
- regex-tdfa >=1.3.1.0 && <1.4
- split >=0.2.0.0 && <0.2.4
- stm >=2.4.4 && <2.6
- strict >=0.3.2 && <0.5
- template-haskell >=2.11.0.0 && <2.19
- text >=1.2.3.0 && <2.1
- text >=1.2.3.1
- text-icu >=0.7.1.0
- time >=1.6.0.1 && <1.13
- transformers >=0.5 && <0.7
- transformers <0.6 || >=0.6.0.3
- unordered-containers >=0.2.5.0 && <0.3
- uri-encode >=1.5.0.4 && <1.6
- zlib ==0.6.*