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
agda2train70.00Agda backend to generate training data for machine learning purposes. (agda, bsd3, library, machine-learning, program)2023-10-170.0.3.0omelkonian