Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org : agda2train

Compiles Agda modules to JSON files, containing information about the imported scope of each module, its definitions and information about each sub-term appearing in the code (i.e. context, goal type, term).

Registry - Source - Homepage - JSON
purl: pkg:hackage/agda2train
Keywords: agda, bsd3, library, machine-learning, program
License: BSD-3-Clause
Latest release: 8 months ago
First release: 8 months ago
Dependent packages: 1
Downloads: 42 total
Stars: 2 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago

    Loading...
    Readme
    Loading...