{"id":7513452,"name":"agda2hs","ecosystem":"hackage","description":"Produces verified and readable Haskell code by extracting it from a\n(lightly annotated) Agda program.\nThe tool is implemented as an Agda backend, which means that agda2hs is a\nfully functional Agda compiler.","homepage":null,"licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["bsd3","compiler","language","program","Propose Tags"],"namespace":null,"versions_count":5,"first_release_published_at":"2023-04-07T10:07:55.000Z","latest_release_published_at":"2025-09-09T09:47:45.000Z","latest_release_number":"1.4","last_synced_at":"2026-06-02T06:10:48.467Z","created_at":"2023-04-07T10:51:14.393Z","updated_at":"2026-06-02T06:10:48.468Z","registry_url":"https://hackage.haskell.org/package/agda2hs","install_command":"cabal install agda2hs","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":428,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":99.94726047465574,"dependent_repos_count":55.10108409024319,"dependent_packages_count":12.81645569620253,"stargazers_count":null,"forks_count":null,"average":55.954933420367155},"purl":"pkg:hackage/agda2hs","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/agda2hs","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/agda2hs","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/agda2hs/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2hs/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2hs/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2hs/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2hs/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2hs/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2hs/codemeta","maintainers":[{"uuid":"jcockx","login":"jcockx","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://hackage.haskell.org/user/jcockx","role":null,"created_at":"2023-04-07T11:14:31.265Z","updated_at":"2023-04-07T11:14:31.265Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/jcockx/packages"}]}