Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / idris-lang / Idris-dev
A Dependently Typed Functional Programming Language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev
Stars: 3,410
Forks: 643
Open Issues: 708
License: other
Language: Haskell
Repo Size: 36.5 MB
Dependencies:
69
Created: over 12 years ago
Updated: 25 days ago
Last pushed: 5 months ago
Last synced: 19 days ago
Commit Stats
Commits: 7490
Authors: 412
Mean commits per author: 18.18
Development Distribution Score: 0.769
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/idris-lang/Idris-dev
Files
Dependencies
- Win32 <2.7
- aeson >=0.6 && <1.6
- annotated-wl-pprint ==0.7.*
- ansi-terminal <0.12
- ansi-wl-pprint <0.7
- array >=0.4.0.1 && <0.6
- async <2.3
- base *
- base ==4.*
- base64-bytestring <1.3
- binary >=0.8.4.1 && <0.9
- blaze-html >=0.6.1.3 && <0.10
- blaze-markup >=0.5.2.1 && <0.10
- bytestring <0.11
- cheapskate >=0.1.1.2 && <0.2
- code-page >=0.1 && <0.3
- containers >=0.5 && <0.7
- deepseq <1.5
- directory >=1.2.2.0 && <1.2.3.0 || >1.2.3.0
- directory *
- fail ==4.9.0.*
- filepath <1.5
- filepath *
- fingertree >=0.1.4.1 && <0.2
- fsnotify >=0.2 && <0.5
- haskeline ==0.8.*
- haskeline >=0.7
- idris *
- ieee754 >=0.7 && <0.9
- libffi <0.3
- megaparsec >=7.0.4 && <10
- mintty ==0.1.*
- mtl >=2.1 && <2.3
- network >=2.7 && <3.1.2
- optparse-applicative >=0.13 && <0.17
- parser-combinators >=1.0.0
- pretty <1.2
- process <1.7
- regex-tdfa >=1.2
- safe >=0.3.9
- semigroups ==0.18.*
- split <0.3
- terminal-size <0.4
- text >=1.2.1.0 && <1.4
- time >=1.4 && <2.0
- transformers *
- transformers ==0.5.*
- uniplate ==1.6.*
- unix <2.8
- unordered-containers <0.3
- utf8-string <1.1
- vector <0.14
- vector-binary-instances <0.3
- zip-archive >0.2.3.5 && <0.5
- base * test
- bytestring * test
- containers * test
- directory * test
- filepath * test
- haskeline >=0.7 test
- idris * test
- optparse-applicative >=0.13 && <0.17 test
- process * test
- tagged * test
- tasty >=0.8 test
- tasty-golden >=2.0 test
- tasty-rerun >=1.0.0 test
- time * test
- transformers * test