Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / project-hata / hata
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/project-hata%2Fhata
Stars: 0
Forks: 0
Open Issues: 4
License: None
Language: Agda
Repo Size: 4.39 MB
Dependencies:
306
Created: almost 2 years ago
Updated: almost 2 years ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
Template/Edittime/Edittime.cabal
hackage
- Edittime *
- HataGeneratedModules *
- HataSystemInterface *
- base >=4.7 && <5
- text *
- Edittime * test
- base >=4.7 && <5 test
- MetaBuilder *
- aeson *
- attoparsec *
- base >=4.7 && <5
- directory *
- executable-path *
- filemanip *
- parsec *
- shake *
- split *
- text *
- yaml *
- MetaBuilder * test
- base >=4.7 && <5 test
- GeneratorTemplate *
- base >=4.7 && <5
- text *
- GeneratorTemplate * test
- base >=4.7 && <5 test
Program/HataCmd/HataCmd.cabal
hackage
- HataCmd *
- HataSystemInterface *
- aeson *
- async *
- base >=4.7 && <5
- bytestring *
- command *
- conduit *
- conduit-extra *
- data-default *
- directory *
- executable-path *
- filepath *
- network-simple *
- optparse-applicative *
- text *
- unix *
- HataCmd * test
- base >=4.7 && <5 test
- HataDaemon *
- base >=4.7 && <5
- network-simple *
- text *
- HataDaemon * test
- base >=4.7 && <5 test
- Hata *
- base >=4.7 && <5
- gi-cairo *
- gi-cairo-connector *
- gi-cairo-render *
- gi-gdk *
- gi-glib *
- gi-gmodule *
- gi-gtk *
- haskell-gi-base *
- megaparsec *
- optparse-applicative *
- text *
- time *
- transformers *
- unordered-containers *
- void *
- Hata * test
- base >=4.7 && <5 test