{"id":191536,"name":"hatt","ecosystem":"hackage","description":"Hatt is a command-line program which prints truth tables\nfor expressions in classical propositional logic, and a\nlibrary allowing its parser, evaluator and truth table\ngenerator to be used in other programs. It includes support\nfor converting logical expressions into several normal\nforms.","homepage":"http://extralogical.net/projects/hatt","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/beastaugh/hatt","keywords_array":["bsd3","library","logic","program","Propose Tags"],"namespace":null,"versions_count":16,"first_release_published_at":"2011-01-30T18:13:46.000Z","latest_release_published_at":"2011-10-31T21:50:50.000Z","latest_release_number":"1.4.0","latest_published_release_number":null,"last_synced_at":"2026-10-16T21:52:26.994Z","created_at":"2022-04-05T20:54:54.769Z","updated_at":"2026-10-16T21:53:04.503Z","registry_url":"https://hackage.haskell.org/package/hatt","install_command":"cabal install hatt","documentation_url":null,"metadata":{},"repo_metadata":{"id":1353784,"uuid":"1301238","full_name":"beastaugh/hatt","owner":"beastaugh","description":"Truth-table generator for classical propositional logic","archived":false,"fork":false,"pushed_at":"2021-05-10T12:25:33.000Z","size":375,"stargazers_count":27,"open_issues_count":2,"forks_count":8,"subscribers_count":3,"default_branch":"master","last_synced_at":"2026-09-19T09:10:26.074Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://extralogical.net/projects/hatt","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/beastaugh.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2011-01-28T00:57:07.000Z","updated_at":"2026-07-12T12:13:54.000Z","dependencies_parsed_at":"2022-09-01T14:01:24.131Z","dependency_job_id":null,"html_url":"https://github.com/beastaugh/hatt","commit_stats":null,"previous_names":[],"tags_count":17,"template":false,"template_full_name":null,"purl":"pkg:github/beastaugh/hatt","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/beastaugh","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":344836268,"owners_count":38331913,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-10-03T21:59:58.778Z","status":"online","status_checked_at":"2026-10-16T02:00:06.653Z","response_time":55,"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":"beastaugh","name":"Benedict Eastaugh","uuid":"1277","kind":"user","description":"","email":"","website":"http://extralogical.net","location":null,"twitter":null,"company":"University of Warwick","icon_url":"https://avatars.githubusercontent.com/u/1277?v=4","repositories_count":28,"last_synced_at":"2023-04-10T21:46:11.161Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/beastaugh","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-02T16:59:41.262Z","updated_at":"2023-04-10T21:46:11.238Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/beastaugh","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/beastaugh/repositories"},"tags":[{"name":"1.5.0.3","sha":"74c6a16d909e59ad38c875c1ded5e00f409385f1","kind":"tag","published_at":"2012-11-24T23:43:52.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.5.0.3","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.5.0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.5.0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.3/manifests"},{"name":"1.5.0.2","sha":"860ba85a414ff21647b95d9e81977e68e799bb09","kind":"tag","published_at":"2012-11-13T18:27:33.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.5.0.2","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.5.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.5.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.2/manifests"},{"name":"1.5.0.1","sha":"d199cdb3d15fc571d7949c0b06092d0facdae9e6","kind":"tag","published_at":"2012-11-13T18:22:15.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.5.0.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.5.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.5.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.1/manifests"},{"name":"1.5.0.0","sha":"9e8cbd1ee9f07c6b2257d5e7ce52d61680c46216","kind":"tag","published_at":"2012-11-11T15:36:48.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.5.0.0","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.5.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.5.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.5.0.0/manifests"},{"name":"1.4.0.2","sha":"89890d3b0032015106f96d587ce97e1dc2501456","kind":"tag","published_at":"2012-01-04T00:41:34.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.4.0.2","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.4.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.4.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.4.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.4.0.2/manifests"},{"name":"1.4.0.1","sha":"9505fbf654d3d0f6181b7e418291c3917ee2e0e5","kind":"tag","published_at":"2011-10-31T16:47:21.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.4.0.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.4.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.4.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.4.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.4.0.1/manifests"},{"name":"1.4.0","sha":"bd05c0130d49ea16bb65492b04113d48f9819bbd","kind":"tag","published_at":"2011-10-25T19:37:49.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.4.0","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.4.0/manifests"},{"name":"1.3.1","sha":"2c733a8e5d3f1b923073b37ecd40c5916522b09c","kind":"tag","published_at":"2011-10-17T23:31:21.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.3.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.3.1/manifests"},{"name":"1.3.0","sha":"3b86fbde541ae5504cb3d1275933b30591a8dfe8","kind":"tag","published_at":"2011-06-10T15:28:55.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.3.0","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.3.0/manifests"},{"name":"1.2.1","sha":"70901d8365c0af08146826daee2fa358cdcf9136","kind":"tag","published_at":"2011-06-10T08:23:59.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.2.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.2.1/manifests"},{"name":"1.2.0","sha":"1beff7ee27961f62a7974f56327a1bdc6f439697","kind":"tag","published_at":"2011-05-28T23:55:43.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.2.0","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.2.0/manifests"},{"name":"1.1.1","sha":"20d1492cf80fc9ccee730498a018794924d44461","kind":"tag","published_at":"2011-04-18T12:46:51.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.1.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.1.1/manifests"},{"name":"1.1","sha":"91323bf6c08497a0844776e1642e85f74a7b2b0c","kind":"tag","published_at":"2011-03-20T17:27:19.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.1/manifests"},{"name":"1.0","sha":"45c62e6684696af0de98d2051f37b3da17faa41c","kind":"tag","published_at":"2011-03-02T13:15:38.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/1.0","html_url":"https://github.com/beastaugh/hatt/releases/tag/1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/1.0/manifests"},{"name":"0.3","sha":"cd4243774b70761bad54c704966a40314e07d1ca","kind":"tag","published_at":"2011-02-05T23:24:08.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/0.3","html_url":"https://github.com/beastaugh/hatt/releases/tag/0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/0.3/manifests"},{"name":"0.2","sha":"876f6aed456bda0f11171af0f361a77381f9f282","kind":"tag","published_at":"2011-02-03T21:18:56.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/0.2","html_url":"https://github.com/beastaugh/hatt/releases/tag/0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/0.2/manifests"},{"name":"0.1","sha":"ac15eb2d39faf881968a43a1c4a14faac2c22799","kind":"tag","published_at":"2011-01-30T18:18:19.000Z","download_url":"https://codeload.github.com/beastaugh/hatt/tar.gz/0.1","html_url":"https://github.com/beastaugh/hatt/releases/tag/0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/beastaugh/hatt@0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/beastaugh%2Fhatt/tags/0.1/manifests"}]},"repo_metadata_updated_at":"2026-10-16T21:53:04.503Z","dependent_packages_count":0,"downloads":12326,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":12.681548460016954,"dependent_repos_count":36.47923142130545,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":22.810586794763115},"purl":"pkg:hackage/hatt","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/hatt","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/hatt","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/hatt/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hatt/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hatt/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hatt/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hatt/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hatt/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hatt/codemeta","maintainers":[{"uuid":"BenedictEastaugh","login":"BenedictEastaugh","name":null,"email":null,"url":null,"packages_count":2,"html_url":"https://hackage.haskell.org/user/BenedictEastaugh","role":null,"created_at":"2022-11-14T18:14:03.526Z","updated_at":"2022-11-14T18:14:03.526Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/BenedictEastaugh/packages"}]}