{"id":192466,"name":"hermit","ecosystem":"hackage","description":"HERMIT is a Haskell-specific toolkit designed to mechanize\nequational reasoning and program transformation during compilation in GHC.\n\nExamples can be found in the examples sub-directory.\n\nExample of running a script.\n\nExample of interactive use.\n\nTo resume compilation, use resume.","homepage":null,"licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["bsd3","formal-methods","language","library","optimization","program","refactoring","reflection","transformation","Propose Tags"],"namespace":null,"versions_count":18,"first_release_published_at":"2011-08-02T04:38:09.000Z","latest_release_published_at":"2016-02-23T01:26:57.000Z","latest_release_number":"1.0.1","last_synced_at":"2026-06-16T07:01:55.232Z","created_at":"2022-04-05T21:01:03.720Z","updated_at":"2026-06-16T07:01:55.232Z","registry_url":"https://hackage.haskell.org/package/hermit","install_command":"cabal install hermit","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":17732,"downloads_period":"total","dependent_repos_count":6,"rankings":{"downloads":8.623905057925969,"dependent_repos_count":23.41339361401526,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":17.10275972496939},"purl":"pkg:hackage/hermit","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/hermit","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/hermit","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/hermit/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hermit/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hermit/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hermit/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hermit/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hermit/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hermit/codemeta","maintainers":[{"uuid":"ryanglscott","login":"ryanglscott","name":null,"email":null,"url":null,"packages_count":152,"html_url":"https://hackage.haskell.org/user/ryanglscott","role":null,"created_at":"2022-11-14T18:15:12.865Z","updated_at":"2022-11-14T18:15:12.865Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/ryanglscott/packages"},{"uuid":"AndrewFarmer","login":"AndrewFarmer","name":null,"email":null,"url":null,"packages_count":8,"html_url":"https://hackage.haskell.org/user/AndrewFarmer","role":null,"created_at":"2022-11-14T18:15:12.802Z","updated_at":"2022-11-14T18:15:12.802Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AndrewFarmer/packages"},{"uuid":"AndyGill","login":"AndyGill","name":null,"email":null,"url":null,"packages_count":32,"html_url":"https://hackage.haskell.org/user/AndyGill","role":null,"created_at":"2022-11-14T18:15:12.847Z","updated_at":"2022-11-14T18:15:12.847Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AndyGill/packages"},{"uuid":"NeilSculthorpe","login":"NeilSculthorpe","name":null,"email":null,"url":null,"packages_count":4,"html_url":"https://hackage.haskell.org/user/NeilSculthorpe","role":null,"created_at":"2022-11-14T18:15:12.856Z","updated_at":"2022-11-14T18:15:12.856Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/NeilSculthorpe/packages"}]}