{"id":232535,"name":"smcdel","ecosystem":"hackage","description":"See README.md for references and documentation.","homepage":"https://github.com/jrclogic/SMCDEL#readme","licenses":"GPL-2.0-only","normalized_licenses":["GPL-2.0-only"],"repository_url":"https://github.com/jrclogic/SMCDEL","keywords_array":["gpl","library","logic","Propose Tags"],"namespace":null,"versions_count":4,"first_release_published_at":"2018-02-26T20:53:09.000Z","latest_release_published_at":"2024-04-24T17:13:30.000Z","latest_release_number":"1.3.0","last_synced_at":"2026-10-14T21:40:12.188Z","created_at":"2022-04-06T01:42:46.033Z","updated_at":"2026-10-14T21:40:12.188Z","registry_url":"https://hackage.haskell.org/package/smcdel","install_command":"cabal install smcdel","documentation_url":null,"metadata":{},"repo_metadata":{"id":32923520,"uuid":"36519077","full_name":"jrclogic/SMCDEL","owner":"jrclogic","description":"A symbolic model checker for Dynamic Epistemic Logic.","archived":false,"fork":false,"pushed_at":"2026-10-07T03:47:54.000Z","size":15055,"stargazers_count":55,"open_issues_count":23,"forks_count":10,"subscribers_count":6,"default_branch":"master","last_synced_at":"2026-10-14T16:34:00.536Z","etag":null,"topics":["epistemic-logic","haskell","logic","model-checking","symbolic"],"latest_commit_sha":null,"homepage":"https://tools.malv.in/smcdelweb","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jrclogic.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,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-05-29T17:29:59.000Z","updated_at":"2026-10-11T14:40:42.000Z","dependencies_parsed_at":"2024-01-18T12:41:44.844Z","dependency_job_id":"eb0e1e95-ea36-425e-89c6-68c581a52d87","html_url":"https://github.com/jrclogic/SMCDEL","commit_stats":{"total_commits":161,"total_committers":1,"mean_commits":161.0,"dds":0.0,"last_synced_commit":"8eb7619a9364a2d3dbd34c46748ef9713ff6c8dc"},"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/jrclogic/SMCDEL","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jrclogic","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":344794859,"owners_count":38325463,"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-14T02:00:06.392Z","response_time":82,"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":"jrclogic","name":"JRC Logic","uuid":"13252704","kind":"organization","description":"Tsinghua University - University of Amsterdam Joint Research Center for Logic","email":null,"website":"http://tsinghualogic.net/JRC/","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/13252704?v=4","repositories_count":1,"last_synced_at":"2023-03-02T04:15:26.645Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/jrclogic","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-12T22:19:09.967Z","updated_at":"2023-03-02T04:15:26.651Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jrclogic","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jrclogic/repositories"},"tags":[{"name":"v1.3.0","sha":"c17bbef46e2d48a9f8279b67ffe6adac06f9dabe","kind":"commit","published_at":"2024-04-24T17:02:40.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/v1.3.0","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/v1.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@v1.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.3.0/manifests"},{"name":"zdd-experiments","sha":"befead4f0bb31e7311632b4616efffe9892b08e7","kind":"commit","published_at":"2023-03-22T14:00:27.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/zdd-experiments","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/zdd-experiments","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@zdd-experiments","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/zdd-experiments","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/zdd-experiments/manifests"},{"name":"v1.2.0","sha":"18488fd0f9dc8931a0617c1b68cdcb3407c82809","kind":"commit","published_at":"2022-02-22T14:38:34.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/v1.2.0","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/v1.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@v1.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.2.0/manifests"},{"name":"v1.1.0","sha":"43eaeae22525318a744f8998e3703b803f5db869","kind":"commit","published_at":"2019-12-09T19:34:05.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/v1.1.0","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/v1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@v1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.1.0/manifests"},{"name":"v1.0.0","sha":"2edf19c2143c59685e8d085ee4e00d5cf0e2d1b0","kind":"commit","published_at":"2018-02-26T20:36:59.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/v1.0.0","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v1.0.0/manifests"},{"name":"v0.2","sha":"3c889b6ee6f1ef6fe8abb76b6a952eb3caefe85b","kind":"commit","published_at":"2015-11-12T08:57:12.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/v0.2","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/v0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@v0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v0.2/manifests"},{"name":"v0.1","sha":"3b58a7b11925c2a57b8101fd71f563a50c245ded","kind":"commit","published_at":"2015-06-01T10:28:34.000Z","download_url":"https://codeload.github.com/jrclogic/SMCDEL/tar.gz/v0.1","html_url":"https://github.com/jrclogic/SMCDEL/releases/tag/v0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/jrclogic/SMCDEL@v0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/tags/v0.1/manifests"}]},"repo_metadata_updated_at":"2026-10-14T21:40:11.994Z","dependent_packages_count":1,"downloads":1438,"downloads_period":"total","dependent_repos_count":2,"rankings":{"downloads":72.72727272727273,"dependent_repos_count":30.995616781465245,"dependent_packages_count":19.280469061308132,"stargazers_count":13.485512608868902,"forks_count":13.030113280582912,"docker_downloads_count":null,"average":29.90379689189958},"purl":"pkg:hackage/smcdel","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/smcdel","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/smcdel","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/smcdel/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-10-14T14:16:11.391Z","issues_count":56,"pull_requests_count":4,"avg_time_to_close_issue":41370268.64705882,"avg_time_to_close_pull_request":4541592.25,"issues_closed_count":34,"pull_requests_closed_count":4,"pull_request_authors_count":2,"issue_authors_count":2,"avg_comments_per_issue":1.125,"avg_comments_per_pull_request":7.5,"merged_pull_requests_count":4,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":5,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":79513.0,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.0,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL/issues","maintainers":[{"login":"m4lvin","count":57,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/m4lvin"}],"active_maintainers":[{"login":"m4lvin","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/m4lvin"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smcdel/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smcdel/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smcdel/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smcdel/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smcdel/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smcdel/codemeta","maintainers":[{"uuid":"m4lvin","login":"m4lvin","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://hackage.haskell.org/user/m4lvin","role":null,"created_at":"2022-11-14T19:47:04.854Z","updated_at":"2022-11-14T19:47:04.854Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/m4lvin/packages"}]}