{"id":192273,"name":"helf","ecosystem":"hackage","description":"HELF = Haskell implementation of the Edinburgh Logical Framework\n\nHELF implements only a subset of the Twelf syntax and functionality.\nIt type-checks LF definitions, but does not do type reconstruction.","homepage":"http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"","keywords_array":["dependent-types","mit","program","Propose Tags"],"namespace":null,"versions_count":4,"first_release_published_at":"2016-12-25T20:48:23.000Z","latest_release_published_at":"2024-03-18T18:13:02.000Z","latest_release_number":"1.0.20240318","last_synced_at":"2026-06-13T00:46:19.669Z","created_at":"2022-04-05T20:59:43.697Z","updated_at":"2026-06-13T00:46:49.300Z","registry_url":"https://hackage.haskell.org/package/helf","install_command":"cabal install helf","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-06-13T00:46:49.281Z","dependent_packages_count":0,"downloads":1653,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":69.24476263130099,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":45.53527766367389},"purl":"pkg:hackage/helf","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/helf","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/helf","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/helf/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/helf/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/helf/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/helf/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/helf/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/helf/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/helf/codemeta","maintainers":[{"uuid":"AndreasAbel","login":"AndreasAbel","name":null,"email":null,"url":null,"packages_count":88,"html_url":"https://hackage.haskell.org/user/AndreasAbel","role":null,"created_at":"2022-11-14T18:15:00.016Z","updated_at":"2022-11-14T18:15:00.016Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AndreasAbel/packages"}]}