agda2train: Agda backend to generate training data for machine learning purposes.
Downloads
- agda2train-0.0.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.1.0, 0.0.2.0, 0.0.3.0 |
|---|---|
| Dependencies | aeson (>=2.0 && <2.3), aeson-pretty (==0.8.10), Agda (>=2.6.3 && <2.6.4), async (>=2.2 && <2.3), base (>=4.12.0.0 && <4.20), bytestring (>=0.10.8.1 && <0.13), containers (>=0.5.11.0 && <0.8), deepseq (>=1.4.2.0 && <1.6), directory (>=1.2.6.2 && <1.4), file-embed (==0.0.15.0), filepath (>=1.4.1.0 && <1.5), mtl (>=2.2.1 && <2.4), pretty (>=1.1.3.3 && <1.2), unordered-containers (>=0.2.9.0 && <0.3) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2023 Orestis Melkonian |
| Author | Orestis Melkonian |
| Maintainer | melkon.or@gmail.com |
| Uploaded | by omelkonian at 2023-10-17T18:30:10Z |
| Category | Agda, machine learning |
| Home page | http://github.com/omelkonian/agda2train/ |
| Bug tracker | https://github.com/omelkonian/agda2train/issues |
| Source repo | head: git clone git://github.com/omelkonian/agda2train.git |
| Distributions | |
| Executables | agda2train |
| Downloads | 271 total (11 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |