{"id":205252,"name":"logict","ecosystem":"hackage","description":"Adapted from the paper\nBacktracking, Interleaving, and Terminating Monad Transformers\nby Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.","homepage":"https://github.com/Bodigrim/logict#readme","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/Bodigrim/logict","keywords_array":["bsd3","control","library","Propose Tags"],"namespace":null,"versions_count":23,"first_release_published_at":"2007-07-08T00:18:21.000Z","latest_release_published_at":"2011-07-29T16:24:24.000Z","latest_release_number":"0.5.0","last_synced_at":"2026-06-19T14:53:02.767Z","created_at":"2022-04-05T22:29:02.697Z","updated_at":"2026-06-19T14:53:02.767Z","registry_url":"https://hackage.haskell.org/package/logict","install_command":"cabal install logict","documentation_url":null,"metadata":{},"repo_metadata":{"id":47573607,"uuid":"184319726","full_name":"Bodigrim/logict","owner":"Bodigrim","description":"A continuation-based backtracking logic programming monad","archived":false,"fork":false,"pushed_at":"2024-09-07T14:09:08.000Z","size":186,"stargazers_count":85,"open_issues_count":4,"forks_count":13,"subscribers_count":5,"default_branch":"master","last_synced_at":"2024-09-07T15:38:26.529Z","etag":null,"topics":["backtracking","logic-programming","logict","monad-transformers"],"latest_commit_sha":null,"homepage":"https://hackage.haskell.org/package/logict","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Bodigrim.png","metadata":{"files":{"readme":"README.md","changelog":"changelog.md","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}},"created_at":"2019-04-30T19:28:20.000Z","updated_at":"2024-09-07T14:09:11.000Z","dependencies_parsed_at":"2024-08-15T00:04:59.533Z","dependency_job_id":null,"html_url":"https://github.com/Bodigrim/logict","commit_stats":{"total_commits":149,"total_committers":13,"mean_commits":"11.461538461538462","dds":0.5838926174496644,"last_synced_commit":"754249f6c76b1c277f16e412236f30bc9d4b04b4"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Bodigrim","download_url":"https://codeload.github.com/Bodigrim/logict/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":218009070,"owners_count":16264692,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":"Bodigrim","name":"ˌbodʲɪˈɡrʲim","uuid":"2293557","kind":"user","description":"Chair of Core Libraries Committee,\r\nDirector at Haskell Foundation","email":"","website":null,"location":"Odessa, Ukraine","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/2293557?u=d57f229f5230db27587c97f3a009ded54d66430c\u0026v=4","repositories_count":49,"last_synced_at":"2023-04-10T07:50:59.879Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/Bodigrim","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-02T16:41:19.378Z","updated_at":"2023-04-10T07:51:00.419Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Bodigrim","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Bodigrim/repositories"},"tags":[{"name":"0.7.1.0","sha":"f61120b40d4c2f3a930b472f3e14c5c81dcfdb11","kind":"commit","published_at":"2021-01-15T22:08:11.000Z","download_url":"https://codeload.github.com/Bodigrim/logict/tar.gz/0.7.1.0","html_url":"https://github.com/Bodigrim/logict/releases/tag/0.7.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/tags/0.7.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/tags/0.7.1.0/manifests"},{"name":"0.7.0.3","sha":"39d8e70f5c9b799a0e39f58e7e0ebb46ea429cc5","kind":"commit","published_at":"2020-08-26T21:12:39.000Z","download_url":"https://codeload.github.com/Bodigrim/logict/tar.gz/0.7.0.3","html_url":"https://github.com/Bodigrim/logict/releases/tag/0.7.0.3","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/tags/0.7.0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/tags/0.7.0.3/manifests"}]},"repo_metadata_updated_at":"2024-09-07T15:41:45.515Z","dependent_packages_count":16,"downloads":72419,"downloads_period":"total","dependent_repos_count":223,"rankings":{"downloads":1.99491381746256,"dependent_repos_count":1.8592822831308278,"dependent_packages_count":1.6727889234246962,"stargazers_count":9.460299519638316,"forks_count":10.539700480361684,"docker_downloads_count":null,"average":5.105397004803617},"purl":"pkg:hackage/logict","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/logict","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/logict","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/logict/dependencies","status":null,"funding_links":[],"critical":true,"issue_metadata":{"last_synced_at":"2024-08-15T00:28:30.550Z","issues_count":17,"pull_requests_count":22,"avg_time_to_close_issue":4826566.214285715,"avg_time_to_close_pull_request":297677.0,"issues_closed_count":14,"pull_requests_closed_count":22,"pull_request_authors_count":8,"issue_authors_count":14,"avg_comments_per_issue":3.235294117647059,"avg_comments_per_pull_request":3.090909090909091,"merged_pull_requests_count":21,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":2,"past_year_pull_requests_count":2,"past_year_avg_time_to_close_issue":54129.0,"past_year_avg_time_to_close_pull_request":173312.5,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":2,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":1.0,"past_year_avg_comments_per_pull_request":2.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":2,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/Bodigrim%2Flogict/issues","maintainers":[{"login":"Bodigrim","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Bodigrim"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logict/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logict/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logict/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logict/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logict/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logict/codemeta","maintainers":[{"uuid":"DanDoel","login":"DanDoel","name":null,"email":null,"url":null,"packages_count":6,"html_url":"https://hackage.haskell.org/user/DanDoel","role":null,"created_at":"2022-11-14T18:50:23.283Z","updated_at":"2022-11-14T18:50:23.283Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/DanDoel/packages"},{"uuid":"Bodigrim","login":"Bodigrim","name":null,"email":null,"url":null,"packages_count":59,"html_url":"https://hackage.haskell.org/user/Bodigrim","role":null,"created_at":"2022-11-14T18:50:23.310Z","updated_at":"2022-11-14T18:50:23.310Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/Bodigrim/packages"}]}