Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / omelkonian / agda2rust
Rust backend for Agda.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/omelkonian%2Fagda2rust
Stars: 1
Forks: 0
Open Issues: 1
License: None
Language: Haskell
Repo Size: 525 KB
Dependencies:
12
Created: 5 months ago
Updated: 19 days ago
Last pushed: 19 days ago
Last synced: 18 days ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/ci.yml
actions
- actions/checkout v4 composite
- haskell-actions/setup v2 composite
agda2rust.cabal
hackage
- Agda ==2.6.4.*
- base >=4.10 && <4.18
- containers ==0.6.6
- data-serializer *
- deepseq >=1.4.4 && <1.6
- directory >=1.2.6.2 && <1.4
- filepath >=1.4.1.0 && <1.5
- language-rust *
- pretty-show *
- text *