Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / possientis / Prog
basic code practice
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/possientis%2FProg
Stars: 3
Forks: 0
Open Issues: 1
License: None
Language: Coq
Repo Size: 698 MB
Dependencies:
148
Created: almost 9 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
haskell/mypretty.cabal
hackage
- base >=2.0
- abstract-par ==0.3.*
- accelerate >=0.12 && <0.16
- accelerate-cuda >=0.12 && <0.15
- accelerate-io *
- array >=0.4 && <0.6
- async ==2.0.*
- base >=4.5 && <4.9
- binary >=0.6.3 && <0.8
- bytestring >=0.9 && <0.11
- containers >=0.4 && <0.6
- deepseq >=1.3 && <1.5
- directory >=1.1 && <1.3
- distributed-process ==0.5.*
- distributed-process-simplelocalnet ==0.2.*
- distributed-static >=0.2 && <0.4
- fclabels *
- filepath >=1.3 && <1.5
- ghc-prim *
- http-conduit >=2.1 && <2.3
- monad-par >=0.3.4 && <0.4
- network ==2.6.*
- network >=2.3 && <2.6
- network-uri ==2.6.*
- normaldistribution ==1.1.*
- parallel ==3.2.*
- random >=1.0 && <1.2
- repa >=3.2 && <3.5
- repa-devil ==0.3.*
- stm ==2.4.*
- template-haskell >=2.7 && <2.11
- time >=1.4 && <1.6
- transformers >=0.3 && <0.5
- utf8-string >=0.3 && <1.1
- vector >=0.10 && <0.12
- xml ==1.3.*
- Stitch *
- ansi-wl-pprint >=0.6.7.1
- base >=4.7 && <5
- containers >=0.5
- hashable >=1.2.7.0
- haskeline >=0.7.1.1
- mtl >=2.2.1
- parsec >=3.1.14.0
- transformers >=0.4.0.0
- Stitch * test
- ansi-wl-pprint >=0.6.7.1 test
- base >=4.7 && <5 test
- containers >=0.5 test
- hashable >=1.2.7.0 test
- haskeline >=0.7.1.1 test
- mtl >=2.2.1 test
- parsec >=3.1.14.0 test
- transformers >=0.4.0.0 test
gradle/maven/pom.xml
maven
- junit:junit 4.13.1 test
- junit:junit 4.12 testCompile
- junit:junit 4.12 testCompile
- javax.servlet:jstl 1.1.2
- org.scala-lang:scala-library 2.11.8 compile
- javax.servlet:jstl 1.1.2
- com.google.guava:guava 18.0
- de.jensd:fontawesomefx 8.0.0
- net.glxn:qrgen 1.3
- org.bitcoinj:bitcoinj-core 0.14.1
- org.fxmisc.easybind:easybind 1.0.2
maven/parent/pom.xml
maven
- javax.persistence:persistence-api 1.0
- log4j:log4j 1.2.17
- org.apache.velocity:velocity 1.7
- org.hibernate:hibernate 3.2.6.ga
- org.hibernate:hibernate-annotations 3.3.0.ga
- org.hibernate:hibernate-commons-annotations 3.3.0.ga
- org.springframework:spring 2.5.6
- ${project.groupId}:simple-model ${project.version}
- ${project.groupId}:simple-persist ${project.version}
- ${project.groupId}:simple-weather ${project.version}
- hsqldb:hsqldb ${hsqldb.version}
- log4j:log4j
- org.apache.velocity:velocity
- org.springframework:spring
- ${project.groupId}:simple-model ${project.version}
- dom4j:dom4j 1.6.1
- jaxen:jaxen 1.1.6
- log4j:log4j
- commons-io:commons-io 2.7 test
- ${project.groupId}:simple-model ${project.version}
- ${project.groupId}:simple-persist ${project.version}
- ${project.groupId}:simple-weather ${project.version}
- org.apache.geronimo.specs:geronimo-servlet_2.4_spec 1.1.1
- org.apache.velocity:velocity
- org.springframework:spring-webmvc 4.3.4.RELEASE
maven/simple/pom.xml
maven
- junit:junit 4.13.1 test
- junit:junit 4.13.1 test
- dom4j:dom4j 1.6.1
- jaxen:jaxen 1.1.6
- log4j:log4j 1.2.17
- org.apache.velocity:velocity 1.7
- commons-io:commons-io 2.7 test
- dom4j:dom4j 1.6.1
- jaxen:jaxen 1.1.6
- log4j:log4j 1.2.17
- org.apache.velocity:velocity 1.7
- commons-io:commons-io 2.7 test
- junit:junit 4.13.1 test
- javax.servlet.jsp:jsp-api 2.1 provided
- javax.servlet:servlet-api 2.5 provided
- junit:junit 4.13.1 test
- browserify ^10.0.0 development
- istanbul-harmony 0 development
- mocha ^2.0.0 development
- mz ^1.0.2 development
- iconv ~2.1.11 development
- nodeunit ~0.9.1 development
- iconv-lite ~0.4.13
- bluebird ^3.3.4 development
- chai ^3.5.0 development
- chai-as-promised ^5.2.0 development
- coveralls ^2.11.2 development
- form-data >=1.0.0 development
- istanbul ^0.4.2 development
- mocha ^2.1.0 development
- parted ^0.1.1 development
- promise ^7.1.1 development
- resumer 0.0.0 development
- encoding ^0.1.11
- is-stream ^1.0.1