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 | 15 | 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 |