Packages tagged agda
1 package has this tag.
[Merge tag] (trustees only)Related tags: bsd3 (1), library (1), machine-learning (1), program (1)
Name | DLs | Rating | Rev Deps | Description | Tags | Last U/L | Last Version | Maintainers |
|---|---|---|---|---|---|---|---|---|
| agda2train | 3 | 0.0 | 0 | Agda backend to generate training data for machine learning purposes. | (agda, bsd3, library, machine-learning, program) | 2023-10-17 | 0.0.3.0 | omelkonian |