Ecosyste.ms: Packages

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

hackage.haskell.org : agda2hs

Produces verified and readable Haskell code by extracting it from a (lightly annotated) Agda program. The tool is implemented as an Agda backend, which means that agda2hs is a fully functional Agda compiler.

Registry - JSON
purl: pkg:hackage/agda2hs
Keywords: bsd3, compiler, language, program
License: BSD-3-Clause
Latest release: 5 months ago
First release: about 1 year ago
Downloads: 116 total
Last synced: 4 days ago

Readme