{"id":227950,"name":"sbvPlugin","ecosystem":"hackage","description":"GHC plugin for proving properties over Haskell functions using SMT solvers, based\non the SBV package.\n\nSee Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples\nfor more details.","homepage":"http://github.com/LeventErkok/sbvPlugin","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/LeventErkok/sbvPlugin","keywords_array":["bsd3","formal-methods","library","math","smt","symbolic-computation","theorem-provers","Propose Tags"],"namespace":null,"versions_count":21,"first_release_published_at":"2015-12-07T03:37:59.000Z","latest_release_published_at":"2026-01-12T18:35:26.000Z","latest_release_number":"9.14.1","last_synced_at":"2026-10-01T16:37:21.939Z","created_at":"2022-04-06T01:09:16.907Z","updated_at":"2026-10-01T16:37:28.003Z","registry_url":"https://hackage.haskell.org/package/sbvPlugin","install_command":"cabal install sbvPlugin","documentation_url":null,"metadata":{},"repo_metadata":{"id":55986160,"uuid":"45817569","full_name":"LeventErkok/sbvPlugin","owner":"LeventErkok","description":"Formally prove properties of Haskell programs using SBV/SMT.","archived":false,"fork":false,"pushed_at":"2026-01-12T18:30:50.000Z","size":424,"stargazers_count":47,"open_issues_count":4,"forks_count":7,"subscribers_count":5,"default_branch":"master","last_synced_at":"2026-07-25T02:33:48.619Z","etag":null,"topics":["haskell","sbv","smt","verification"],"latest_commit_sha":null,"homepage":"","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/LeventErkok.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.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}},"created_at":"2015-11-09T05:42:44.000Z","updated_at":"2026-03-03T14:04:37.000Z","dependencies_parsed_at":"2024-06-12T16:15:21.155Z","dependency_job_id":"566d7518-6d7a-4990-960f-f611b8c634b2","html_url":"https://github.com/LeventErkok/sbvPlugin","commit_stats":{"total_commits":448,"total_committers":6,"mean_commits":74.66666666666667,"dds":0.0379464285714286,"last_synced_commit":"d7629d2e8f74e146b3b6e1f6bee5a772f81d9240"},"previous_names":[],"tags_count":14,"template":false,"template_full_name":null,"purl":"pkg:github/LeventErkok/sbvPlugin","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeventErkok","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":342085742,"owners_count":37905264,"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-10-01T02:00:06.691Z","response_time":59,"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":"LeventErkok","name":"Levent Erkök","uuid":"549449","kind":"user","description":"","email":"","website":"http://leventerkok.github.io/","location":"Portland, OR","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/549449?v=4","repositories_count":9,"last_synced_at":"2023-04-11T01:04:11.528Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/LeventErkok","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-02T17:01:21.692Z","updated_at":"2023-04-11T01:04:11.663Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeventErkok","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeventErkok/repositories"},"tags":[{"name":"v9.12.1","sha":"3ebb665d7ed98a40db1433678be4b8571da55269","kind":"tag","published_at":"2025-03-13T05:13:53.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v9.12.1","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v9.12.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v9.12.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v9.12.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v9.12.1/manifests"},{"name":"9.10.1","sha":"e6e6e06b9bfe0d6be1c40d2b38a824881bdc24b0","kind":"tag","published_at":"2024-05-22T22:52:51.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/9.10.1","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/9.10.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@9.10.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/9.10.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/9.10.1/manifests"},{"name":"9.8.2","sha":"cdc2e8a1f04b3e4b165380f6d6178532bd6002f9","kind":"tag","published_at":"2024-03-23T21:47:44.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/9.8.2","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/9.8.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@9.8.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/9.8.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/9.8.2/manifests"},{"name":"v9.4.4","sha":"f1825bcb1f59c5297ad34f74486fc117ddda0513","kind":"tag","published_at":"2023-01-16T19:24:13.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v9.4.4","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v9.4.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v9.4.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v9.4.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v9.4.4/manifests"},{"name":"v0.11","sha":"2faf1ffcc2a768f91c9a2a13f2dca2e97e4231be","kind":"tag","published_at":"2019-01-15T01:51:51.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.11","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.11/manifests"},{"name":"v0.9","sha":"5a4a9e8e5383bd7ae055c8c50a7c18f8c773d29c","kind":"tag","published_at":"2017-07-20T05:07:02.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.9","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.9/manifests"},{"name":"v0.8","sha":"f54a12d773868b4ca63d4c3f96a524a0867d56c3","kind":"tag","published_at":"2017-01-12T18:51:17.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.8","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.8/manifests"},{"name":"v0.7","sha":"618825a2a99bc6a5a2c565be95c0762ec5b03096","kind":"tag","published_at":"2016-06-07T00:51:41.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.7","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.7/manifests"},{"name":"v0.6","sha":"20f5134cf40f060f9fc3af62c7ea46eadcc7ae88","kind":"tag","published_at":"2016-01-01T21:02:31.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.6","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.6/manifests"},{"name":"v0.5","sha":"1d8c84c0efdcfca5d93bbbec0f1a767cb6cab0d7","kind":"tag","published_at":"2015-12-26T08:49:25.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.5","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.5/manifests"},{"name":"v0.4","sha":"1cea07048a2b134cb29170ee8644b231e335c115","kind":"tag","published_at":"2015-12-24T19:47:54.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.4","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.4/manifests"},{"name":"v0.3","sha":"e696da36d9b1a5485f4ec0b4f89bba7e08a9cb85","kind":"tag","published_at":"2015-12-22T07:47:38.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.3","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.3/manifests"},{"name":"v0.2","sha":"badfb75e7251f74b3ded9d388290be78d655b3eb","kind":"tag","published_at":"2015-12-22T00:09:17.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.2","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.2/manifests"},{"name":"v0.1","sha":"b26b73e57c22f9f72a421a0079705fc261a9ae15","kind":"tag","published_at":"2015-12-07T03:36:30.000Z","download_url":"https://codeload.github.com/LeventErkok/sbvPlugin/tar.gz/v0.1","html_url":"https://github.com/LeventErkok/sbvPlugin/releases/tag/v0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeventErkok/sbvPlugin@v0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/tags/v0.1/manifests"}]},"repo_metadata_updated_at":"2026-10-01T16:37:28.003Z","dependent_packages_count":0,"downloads":7210,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":23.48044246778424,"dependent_repos_count":36.76017789941841,"dependent_packages_count":19.095677956437452,"stargazers_count":12.36172881742502,"forks_count":13.724483977648536,"docker_downloads_count":null,"average":21.08450222374273},"purl":"pkg:hackage/sbvPlugin","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/sbvPlugin","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/sbvPlugin","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/sbvPlugin/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-02T06:48:21.518Z","issues_count":27,"pull_requests_count":3,"avg_time_to_close_issue":15478790.043478262,"avg_time_to_close_pull_request":651040.0,"issues_closed_count":23,"pull_requests_closed_count":3,"pull_request_authors_count":3,"issue_authors_count":5,"avg_comments_per_issue":0.8888888888888888,"avg_comments_per_pull_request":6.0,"merged_pull_requests_count":3,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":2,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":60012.0,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":2.0,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin/issues","maintainers":[{"login":"LeventErkok","count":23,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/LeventErkok"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/sbvPlugin/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/sbvPlugin/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/sbvPlugin/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/sbvPlugin/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/sbvPlugin/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/sbvPlugin/codemeta","maintainers":[{"uuid":"LeventErkok","login":"LeventErkok","name":null,"email":null,"url":null,"packages_count":7,"html_url":"https://hackage.haskell.org/user/LeventErkok","role":null,"created_at":"2022-11-14T19:34:52.578Z","updated_at":"2022-11-14T19:34:52.578Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/LeventErkok/packages"}]}