{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/agda2hs","name":"agda2hs","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.","version":"1.4","softwareVersion":"1.4","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/agda/agda2hs","issueTracker":"https://github.com/agda/agda2hs/issues","keywords":["bsd3","compiler","language","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Agda"},"maintainer":[{"@type":"Person","name":"jcockx"}],"author":[{"@type":"Person","name":"jcockx"}],"copyrightHolder":[{"@type":"Person","name":"jcockx"}],"dateCreated":"2023-04-07","dateModified":"2025-09-09","datePublished":"2025-09-09","copyrightYear":2023,"downloadUrl":"https://hackage.haskell.org/package/agda2hs-1.4/agda2hs-1.4.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/agda2hs"],"https://www.w3.org/ns/activitystreams#likes":210,"https://forgefed.org/ns#forks":49}