Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / agda / agda2hs

Compiling Agda code to readable Haskell

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda2hs

Stars: 165
Forks: 25
Open Issues: 57

License: mit
Language: Agda
Repo Size: 4.22 MB
Dependencies: 23

Created: over 3 years ago
Updated: 17 days ago
Last pushed: 16 days ago
Last synced: 16 days ago

Files

Loading...

Readme

Loading...

Dependencies

agda2hs.cabal hackage

Agda ==2.6.3.*
base >=4.10 && <4.16
containers ==0.6.*
deepseq >=1.4.1.1
directory >=1.2.6.2 && <1.4
filepath >=1.4.1.0 && <1.5
haskell-src-exts >=1.23 && <1.25
mtl >=2.2
syb >=0.7
text >=1.2.3.0
unordered-containers >=0.2

.github/workflows/ci.yml actions

actions/cache v2 composite
actions/checkout v2 composite
actions/setup-haskell v1 composite

.github/workflows/docs.yml actions

actions/checkout v3 composite
actions/configure-pages v2 composite
actions/deploy-pages v1 composite
actions/setup-python v4 composite
actions/upload-pages-artifact v1 composite

docs/requirements.txt pypi

myst_parser ==0.18.1
readthedocs-sphinx-search ==0.1.2
sphinx ==5.3.0
sphinx_rtd_theme ==1.1.1