Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / swamp-agr / proof-assistant-bot
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/swamp-agr%2Fproof-assistant-bot
Stars: 10
Forks: 1
Open Issues: 5
License: mit
Language: Haskell
Repo Size: 145 KB
Dependencies:
17
Created: about 2 years ago
Updated: 1 day ago
Last pushed: 1 day ago
Last synced: about 6 hours ago
Commit Stats
Commits: 36
Authors: 1
Mean commits per author: 36.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/swamp-agr/proof-assistant-bot
Files
Dependencies
- Agda >=2.6.4
- async *
- base <4.18
- bytestring *
- dhall *
- directory *
- filepath *
- mtl >=2.3.1
- process *
- proof-assistant-bot *
- rzk *
- stm *
- telegram-bot-api *
- telegram-bot-simple ==0.13
- text *
- unix *
- unordered-containers *