{"id":193648,"name":"hol","ecosystem":"hackage","description":"This package implements a higher order logic kernel with OpenTheory support.","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/gilith/hol","keywords_array":["library","logic","mit","program","Propose Tags"],"namespace":null,"versions_count":5,"first_release_published_at":"2017-04-07T05:20:25.000Z","latest_release_published_at":"2022-08-08T06:27:50.000Z","latest_release_number":"1.4","last_synced_at":"2026-09-15T20:12:58.361Z","created_at":"2022-04-05T21:09:58.931Z","updated_at":"2026-09-17T08:59:39.296Z","registry_url":"https://hackage.haskell.org/package/hol","install_command":"cabal install hol","documentation_url":null,"metadata":{},"repo_metadata":{"id":54481618,"uuid":"87507727","full_name":"gilith/hol","owner":"gilith","description":"A purely functional higher order logic kernel","archived":false,"fork":false,"pushed_at":"2026-09-12T15:41:35.000Z","size":148,"stargazers_count":15,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2026-09-15T16:27:06.004Z","etag":null,"topics":["haskell","higher-order-logic","hol","opentheory"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/gilith.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2017-04-07T05:25:28.000Z","updated_at":"2026-09-12T15:41:39.000Z","dependencies_parsed_at":"2024-01-15T04:35:26.290Z","dependency_job_id":"2a62e05a-421d-4992-b545-3b8b23368ca5","html_url":"https://github.com/gilith/hol","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/gilith/hol","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gilith%2Fhol","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gilith%2Fhol/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gilith%2Fhol/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gilith%2Fhol/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gilith","download_url":"https://codeload.github.com/gilith/hol/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gilith%2Fhol/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":341189360,"owners_count":37384405,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-17T02:00:07.197Z","response_time":111,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"gilith","name":"Joe Leslie-Hurd","uuid":"987093","kind":"user","description":"Robot mathematician, probability plumber, chip monk, etc.","email":"","website":"http://www.gilith.com/","location":"Portland, OR, USA","twitter":null,"company":"Intel Corporation","icon_url":"https://avatars.githubusercontent.com/u/987093?u=2614ee09e8b078ccead4005ed1b9b546be5eb90a\u0026v=4","repositories_count":4,"last_synced_at":"2023-04-05T22:41:49.666Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/gilith","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-04T17:22:07.161Z","updated_at":"2023-04-05T22:41:49.731Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gilith","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gilith/repositories"},"tags":[]},"repo_metadata_updated_at":"2026-09-17T08:59:39.295Z","dependent_packages_count":0,"downloads":3014,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":46.64632357256029,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":38.002464644093656},"purl":"pkg:hackage/hol","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/hol","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/hol","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/hol/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/codemeta","maintainers":[{"uuid":"JoeHurd","login":"JoeHurd","name":null,"email":null,"url":null,"packages_count":20,"html_url":"https://hackage.haskell.org/user/JoeHurd","role":null,"created_at":"2022-11-14T18:20:08.116Z","updated_at":"2022-11-14T18:20:08.116Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/JoeHurd/packages"}]}