{"id":14500,"name":"quantumlib","description":"Coq library for reasoning about quantum programs","url":"https://github.com/inqwire/quantumlib","last_synced_at":"2025-09-04T22:26:12.331Z","repository":{"id":37477551,"uuid":"395047135","full_name":"inQWIRE/QuantumLib","owner":"inQWIRE","description":"Coq library for reasoning about quantum programs","archived":false,"fork":false,"pushed_at":"2025-07-16T22:06:59.000Z","size":2801,"stargazers_count":39,"open_issues_count":7,"forks_count":12,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-07-17T03:08:52.338Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Rocq Prover","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/inQWIRE.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":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-11T16:08:54.000Z","updated_at":"2025-07-16T21:59:39.000Z","dependencies_parsed_at":"2024-01-13T06:08:23.809Z","dependency_job_id":"ae7689eb-74fd-4015-9206-d8e4da3ef6f0","html_url":"https://github.com/inQWIRE/QuantumLib","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/inQWIRE/QuantumLib","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","download_url":"https://codeload.github.com/inQWIRE/QuantumLib/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273682731,"owners_count":25149304,"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","status":"online","status_checked_at":"2025-09-04T02:00:08.968Z","response_time":61,"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":{"login":"inQWIRE","name":"INQWIRE","uuid":"43385500","kind":"organization","description":"Verified Software for the Computers of Tomorrow","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/43385500?v=4","repositories_count":12,"last_synced_at":"2023-02-28T14:15:30.544Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/inQWIRE","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-11T17:02:12.133Z","updated_at":"2023-02-28T14:15:30.548Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE/repositories"},"packages":[{"id":11784805,"name":"github.com/inqwire/quantumlib","ecosystem":"go","description":null,"homepage":null,"licenses":"other","normalized_licenses":["GPL-1.0+"],"repository_url":"https://github.com/inqwire/quantumlib","keywords_array":[],"namespace":null,"versions_count":8,"first_release_published_at":"2025-06-10T10:53:17.039Z","latest_release_published_at":"2025-07-16T21:59:35.000Z","latest_release_number":"v1.7.0","last_synced_at":"2025-08-10T04:48:09.232Z","created_at":"2025-06-10T10:53:08.888Z","updated_at":"2025-08-10T04:48:09.458Z","registry_url":"https://pkg.go.dev/github.com/inqwire/quantumlib","install_command":"go get github.com/inqwire/quantumlib","documentation_url":"https://pkg.go.dev/github.com/inqwire/quantumlib#section-documentation","metadata":{},"repo_metadata":{"id":37477551,"uuid":"395047135","full_name":"inQWIRE/QuantumLib","owner":"inQWIRE","description":"Coq library for reasoning about quantum programs","archived":false,"fork":false,"pushed_at":"2025-01-19T04:04:18.000Z","size":2798,"stargazers_count":39,"open_issues_count":7,"forks_count":11,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-04-12T03:11:49.157Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Coq","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/inQWIRE.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":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-11T16:08:54.000Z","updated_at":"2025-03-22T05:47:17.000Z","dependencies_parsed_at":"2024-01-13T06:08:23.809Z","dependency_job_id":"ae7689eb-74fd-4015-9206-d8e4da3ef6f0","html_url":"https://github.com/inQWIRE/QuantumLib","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","download_url":"https://codeload.github.com/inQWIRE/QuantumLib/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259063395,"owners_count":22799711,"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"}},"repo_metadata_updated_at":"2025-06-10T10:58:31.573Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":5.729392385116089,"dependent_packages_count":5.3688778542056586,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":5.549135119660874},"purl":"pkg:golang/github.com/inqwire/quantumlib","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/inqwire/quantumlib","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/inqwire/quantumlib","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/inqwire/quantumlib/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2024-11-20T04:39:38.757Z","issues_count":18,"pull_requests_count":34,"avg_time_to_close_issue":2413473.1,"avg_time_to_close_pull_request":1508354.25,"issues_closed_count":10,"pull_requests_closed_count":32,"pull_request_authors_count":10,"issue_authors_count":6,"avg_comments_per_issue":1.5555555555555556,"avg_comments_per_pull_request":1.352941176470588,"merged_pull_requests_count":27,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":6,"past_year_pull_requests_count":11,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":805437.0,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":9,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":0.3333333333333333,"past_year_avg_comments_per_pull_request":1.7272727272727273,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":7,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inqwire%2Fquantumlib/issues","maintainers":[{"login":"jakezweifler","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jakezweifler"},{"login":"khieta","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/khieta"},{"login":"k4rtik","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/k4rtik"},{"login":"adrianleh","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/adrianleh"},{"login":"wjbs","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wjbs"},{"login":"YoungchanCho","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/YoungchanCho"},{"login":"caldwellb","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/caldwellb"},{"login":"bhaktishh","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/bhaktishh"},{"login":"rnrand","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rnrand"},{"login":"lczielinski","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lczielinski"}],"active_maintainers":[{"login":"wjbs","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wjbs"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fquantumlib/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fquantumlib/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fquantumlib/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fquantumlib/related_packages","maintainers":[],"registry":{"name":"proxy.golang.org","url":"https://proxy.golang.org","ecosystem":"go","default":true,"packages_count":1951493,"maintainers_count":0,"namespaces_count":741113,"keywords_count":109139,"github":"golang","metadata":{"funded_packages_count":48962},"icon_url":"https://github.com/golang.png","created_at":"2022-04-04T15:19:22.939Z","updated_at":"2025-09-04T05:53:31.480Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/namespaces"}},{"id":11784733,"name":"github.com/inQWIRE/QuantumLib","ecosystem":"go","description":null,"homepage":null,"licenses":"other","normalized_licenses":["GPL-1.0+"],"repository_url":"https://github.com/inQWIRE/QuantumLib","keywords_array":[],"namespace":null,"versions_count":8,"first_release_published_at":"2025-06-10T10:53:07.529Z","latest_release_published_at":"2025-07-16T21:59:35.000Z","latest_release_number":"v1.7.0","last_synced_at":"2025-08-09T14:08:47.981Z","created_at":"2025-06-10T10:52:55.765Z","updated_at":"2025-08-09T14:08:50.126Z","registry_url":"https://pkg.go.dev/github.com/inQWIRE/QuantumLib","install_command":"go get github.com/inQWIRE/QuantumLib","documentation_url":"https://pkg.go.dev/github.com/inQWIRE/QuantumLib#section-documentation","metadata":{},"repo_metadata":{"id":37477551,"uuid":"395047135","full_name":"inQWIRE/QuantumLib","owner":"inQWIRE","description":"Coq library for reasoning about quantum programs","archived":false,"fork":false,"pushed_at":"2025-01-19T04:04:18.000Z","size":2798,"stargazers_count":39,"open_issues_count":7,"forks_count":11,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-04-12T03:11:49.157Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Coq","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/inQWIRE.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":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-11T16:08:54.000Z","updated_at":"2025-03-22T05:47:17.000Z","dependencies_parsed_at":"2024-01-13T06:08:23.809Z","dependency_job_id":"ae7689eb-74fd-4015-9206-d8e4da3ef6f0","html_url":"https://github.com/inQWIRE/QuantumLib","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","download_url":"https://codeload.github.com/inQWIRE/QuantumLib/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FQuantumLib/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259063395,"owners_count":22799711,"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"}},"repo_metadata_updated_at":"2025-06-10T10:58:28.265Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":5.729392385116089,"dependent_packages_count":5.3688778542056586,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":5.549135119660874},"purl":"pkg:golang/github.com/in%21q%21w%21i%21r%21e/%21quantum%21lib","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/inQWIRE/QuantumLib","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/inQWIRE/QuantumLib","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/inQWIRE/QuantumLib/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2024-11-20T04:39:38.757Z","issues_count":18,"pull_requests_count":34,"avg_time_to_close_issue":2413473.1,"avg_time_to_close_pull_request":1508354.25,"issues_closed_count":10,"pull_requests_closed_count":32,"pull_request_authors_count":10,"issue_authors_count":6,"avg_comments_per_issue":1.5555555555555556,"avg_comments_per_pull_request":1.352941176470588,"merged_pull_requests_count":27,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":6,"past_year_pull_requests_count":11,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":805437.0,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":9,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":0.3333333333333333,"past_year_avg_comments_per_pull_request":1.7272727272727273,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":7,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inqwire%2Fquantumlib/issues","maintainers":[{"login":"jakezweifler","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jakezweifler"},{"login":"khieta","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/khieta"},{"login":"k4rtik","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/k4rtik"},{"login":"adrianleh","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/adrianleh"},{"login":"wjbs","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wjbs"},{"login":"YoungchanCho","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/YoungchanCho"},{"login":"caldwellb","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/caldwellb"},{"login":"bhaktishh","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/bhaktishh"},{"login":"rnrand","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rnrand"},{"login":"lczielinski","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lczielinski"}],"active_maintainers":[{"login":"wjbs","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wjbs"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FQuantumLib/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FQuantumLib/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FQuantumLib/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FQuantumLib/related_packages","maintainers":[],"registry":{"name":"proxy.golang.org","url":"https://proxy.golang.org","ecosystem":"go","default":true,"packages_count":1951493,"maintainers_count":0,"namespaces_count":741113,"keywords_count":109139,"github":"golang","metadata":{"funded_packages_count":48962},"icon_url":"https://github.com/golang.png","created_at":"2022-04-04T15:19:22.939Z","updated_at":"2025-09-04T05:53:31.480Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/namespaces"}}],"commits":{"id":6397492,"full_name":"inqwire/quantumlib","default_branch":"master","committers":null,"total_commits":null,"total_committers":null,"total_bot_commits":null,"total_bot_committers":null,"mean_commits":null,"dds":null,"past_year_committers":null,"past_year_total_commits":null,"past_year_total_committers":null,"past_year_total_bot_commits":null,"past_year_total_bot_committers":null,"past_year_mean_commits":null,"past_year_dds":null,"last_synced_at":null,"last_synced_commit":null,"created_at":"2024-11-20T04:36:52.891Z","updated_at":"2024-11-20T04:36:52.891Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/inqwire%2Fquantumlib/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"inqwire/quantumlib","html_url":"https://github.com/inqwire/quantumlib","last_synced_at":"2025-08-31T11:59:52.066Z","status":null,"issues_count":16,"pull_requests_count":32,"avg_time_to_close_issue":2413473.1,"avg_time_to_close_pull_request":1876037.322580645,"issues_closed_count":10,"pull_requests_closed_count":31,"pull_request_authors_count":9,"issue_authors_count":6,"avg_comments_per_issue":1.6875,"avg_comments_per_pull_request":1.375,"merged_pull_requests_count":26,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":3,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.3333333333333333,"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,"created_at":"2024-11-20T04:36:53.666Z","updated_at":"2025-09-02T13:59:49.523Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inqwire%2Fquantumlib","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inqwire%2Fquantumlib/issues","issue_labels_count":{"nice to have":3,"documentation":1,"performance bug":1,"good first issue":1,"bug":1,"enhancement":1},"pull_request_labels_count":{"bug":2},"issue_author_associations_count":{"MEMBER":8,"NONE":4,"COLLABORATOR":3,"CONTRIBUTOR":1},"pull_request_author_associations_count":{"MEMBER":20,"COLLABORATOR":19,"NONE":1},"issue_authors":{"khieta":7,"letouzey":3,"jakezweifler":3,"fvoichick":1,"adrianleh":1,"kylechui":1},"pull_request_authors":{"YoungchanCho":8,"jakezweifler":7,"k4rtik":6,"adrianleh":5,"caldwellb":4,"wjbs":4,"bhaktishh":2,"khieta":2,"rnrand":1,"lczielinski":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10050122,"issues_count":30776753,"pull_requests_count":92113645,"authors_count":10514818,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"NONE":3},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{"letouzey":3},"past_year_pull_request_authors":{},"maintainers":[{"login":"jakezweifler","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jakezweifler"},{"login":"khieta","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/khieta"},{"login":"YoungchanCho","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/YoungchanCho"},{"login":"k4rtik","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/k4rtik"},{"login":"adrianleh","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/adrianleh"},{"login":"wjbs","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wjbs"},{"login":"caldwellb","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/caldwellb"},{"login":"bhaktishh","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/bhaktishh"},{"login":"rnrand","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rnrand"},{"login":"lczielinski","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lczielinski"}],"active_maintainers":[]},"events":{"total":{"CreateEvent":3,"ReleaseEvent":1,"IssuesEvent":3,"WatchEvent":7,"DeleteEvent":2,"IssueCommentEvent":2,"PushEvent":8,"PullRequestReviewCommentEvent":2,"PullRequestEvent":3,"PullRequestReviewEvent":4,"ForkEvent":1},"last_year":{"CreateEvent":3,"ReleaseEvent":1,"IssuesEvent":3,"WatchEvent":7,"DeleteEvent":2,"IssueCommentEvent":2,"PushEvent":8,"PullRequestReviewCommentEvent":2,"PullRequestEvent":3,"PullRequestReviewEvent":4,"ForkEvent":1}},"keywords":[],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/coq-action.yml","sha":null,"kind":"manifest","created_at":"2023-02-16T12:00:47.258Z","updated_at":"2023-02-16T12:00:47.258Z","repository_link":"https://github.com/inQWIRE/QuantumLib/blob/main/.github/workflows/coq-action.yml","dependencies":[{"id":7713902573,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7713902574,"package_name":"coq-community/docker-coq-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]}],"score":null,"created_at":"2025-09-04T15:50:45.221Z","updated_at":"2025-10-07T08:08:07.677Z","avatar_url":"https://github.com/inQWIRE.png","language":"Rocq Prover","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/14500","html_url":"https://science.ecosyste.ms/projects/14500","bibtex_url":"https://science.ecosyste.ms/projects/14500/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/14500/export.apalike"}