{"id":14878,"name":"sqir","description":"A Small Quantum Intermediate Representation","url":"https://github.com/inqwire/sqir","last_synced_at":"2025-09-04T22:34:21.285Z","repository":{"id":44137097,"uuid":"162636439","full_name":"inQWIRE/SQIR","owner":"inQWIRE","description":"A Small Quantum Intermediate Representation","archived":false,"fork":false,"pushed_at":"2025-07-30T02:27:23.000Z","size":30733,"stargazers_count":86,"open_issues_count":9,"forks_count":24,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-07-30T04:39:07.609Z","etag":null,"topics":["compiler-construction","coq","quantum-computing"],"latest_commit_sha":null,"homepage":"","language":"Rocq Prover","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inQWIRE.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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":"2018-12-20T22:11:20.000Z","updated_at":"2025-07-30T02:27:27.000Z","dependencies_parsed_at":"2024-08-20T20:43:55.634Z","dependency_job_id":"086e1b06-af61-45a9-b504-9463d29794b5","html_url":"https://github.com/inQWIRE/SQIR","commit_stats":{"total_commits":1016,"total_committers":24,"mean_commits":"42.333333333333336","dds":0.8061023622047244,"last_synced_commit":"cc932abd58b5be1691f2b5f829c95d9392bdd2c8"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/inQWIRE/SQIR","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273684696,"owners_count":25149717,"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":11784734,"name":"github.com/inQWIRE/SQIR","ecosystem":"go","description":null,"homepage":null,"licenses":"mit","normalized_licenses":["MIT"],"repository_url":"https://github.com/inQWIRE/SQIR","keywords_array":[],"namespace":null,"versions_count":2,"first_release_published_at":"2025-06-10T10:52:58.553Z","latest_release_published_at":"2022-08-03T22:54:05.000Z","latest_release_number":"v1.1.0","last_synced_at":"2025-08-31T12:02:15.141Z","created_at":"2025-06-10T10:52:55.774Z","updated_at":"2025-08-31T12:02:15.141Z","registry_url":"https://pkg.go.dev/github.com/inQWIRE/SQIR","install_command":"go get github.com/inQWIRE/SQIR","documentation_url":"https://pkg.go.dev/github.com/inQWIRE/SQIR#section-documentation","metadata":{},"repo_metadata":{"id":44137097,"uuid":"162636439","full_name":"inQWIRE/SQIR","owner":"inQWIRE","description":"A Small Quantum Intermediate Representation","archived":false,"fork":false,"pushed_at":"2025-07-30T02:27:23.000Z","size":30733,"stargazers_count":86,"open_issues_count":9,"forks_count":24,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-07-30T04:39:07.609Z","etag":null,"topics":["compiler-construction","coq","quantum-computing"],"latest_commit_sha":null,"homepage":"","language":"Rocq Prover","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inQWIRE.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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":"2018-12-20T22:11:20.000Z","updated_at":"2025-07-30T02:27:27.000Z","dependencies_parsed_at":"2024-08-20T20:43:55.634Z","dependency_job_id":"086e1b06-af61-45a9-b504-9463d29794b5","html_url":"https://github.com/inQWIRE/SQIR","commit_stats":{"total_commits":1016,"total_committers":24,"mean_commits":"42.333333333333336","dds":0.8061023622047244,"last_synced_commit":"cc932abd58b5be1691f2b5f829c95d9392bdd2c8"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/inQWIRE/SQIR","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":267814705,"owners_count":24148329,"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-07-30T02:00:09.044Z","response_time":70,"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":"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"},"tags":[{"name":"v1.1.0","sha":"9187825d659618f4e4c526b1a6426e24c817241f","kind":"commit","published_at":"2022-08-03T22:54:05.000Z","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/v1.1.0","html_url":"https://github.com/inQWIRE/SQIR/releases/tag/v1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inQWIRE/SQIR@v1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.1.0/manifests"},{"name":"v1.0.0","sha":"264358965dcf1c999e79d8996f108f79081d5e4e","kind":"commit","published_at":"2022-07-08T01:48:19.000Z","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/v1.0.0","html_url":"https://github.com/inQWIRE/SQIR/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inQWIRE/SQIR@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.0.0/manifests"}]},"repo_metadata_updated_at":"2025-07-30T05:06:54.927Z","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/%21s%21q%21i%21r","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/inQWIRE/SQIR","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/inQWIRE/SQIR","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/inQWIRE/SQIR/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-06-10T10:58:27.143Z","issues_count":15,"pull_requests_count":36,"avg_time_to_close_issue":7454179.666666667,"avg_time_to_close_pull_request":1064989.6944444445,"issues_closed_count":6,"pull_requests_closed_count":36,"pull_request_authors_count":13,"issue_authors_count":8,"avg_comments_per_issue":1.8,"avg_comments_per_pull_request":0.3055555555555556,"merged_pull_requests_count":34,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":4,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":481751.25,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":4,"past_year_pull_request_authors_count":3,"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":4,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/issues","maintainers":[{"login":"khieta","count":14,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/khieta"},{"login":"caldwellb","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/caldwellb"},{"login":"akshajgaur","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/akshajgaur"},{"login":"adrianleh","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/adrianleh"},{"login":"k4rtik","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/k4rtik"},{"login":"PicksPeng","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/PicksPeng"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FSQIR/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FSQIR/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FSQIR/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2FinQWIRE%2FSQIR/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":11784809,"name":"github.com/inqwire/sqir","ecosystem":"go","description":null,"homepage":null,"licenses":"mit","normalized_licenses":["MIT"],"repository_url":"https://github.com/inqwire/sqir","keywords_array":[],"namespace":null,"versions_count":2,"first_release_published_at":"2025-06-10T10:53:16.055Z","latest_release_published_at":"2022-08-03T22:54:05.000Z","latest_release_number":"v1.1.0","last_synced_at":"2025-08-30T23:04:28.868Z","created_at":"2025-06-10T10:53:08.953Z","updated_at":"2025-08-30T23:04:28.868Z","registry_url":"https://pkg.go.dev/github.com/inqwire/sqir","install_command":"go get github.com/inqwire/sqir","documentation_url":"https://pkg.go.dev/github.com/inqwire/sqir#section-documentation","metadata":{},"repo_metadata":{"id":44137097,"uuid":"162636439","full_name":"inQWIRE/SQIR","owner":"inQWIRE","description":"A Small Quantum Intermediate Representation","archived":false,"fork":false,"pushed_at":"2025-07-30T02:27:23.000Z","size":30733,"stargazers_count":86,"open_issues_count":9,"forks_count":24,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-07-30T04:39:07.609Z","etag":null,"topics":["compiler-construction","coq","quantum-computing"],"latest_commit_sha":null,"homepage":"","language":"Rocq Prover","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inQWIRE.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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":"2018-12-20T22:11:20.000Z","updated_at":"2025-07-30T02:27:27.000Z","dependencies_parsed_at":"2024-08-20T20:43:55.634Z","dependency_job_id":"086e1b06-af61-45a9-b504-9463d29794b5","html_url":"https://github.com/inQWIRE/SQIR","commit_stats":{"total_commits":1016,"total_committers":24,"mean_commits":"42.333333333333336","dds":0.8061023622047244,"last_synced_commit":"cc932abd58b5be1691f2b5f829c95d9392bdd2c8"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/inQWIRE/SQIR","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inQWIRE","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":267814708,"owners_count":24148329,"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-07-30T02:00:09.044Z","response_time":70,"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":"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"},"tags":[{"name":"v1.1.0","sha":"9187825d659618f4e4c526b1a6426e24c817241f","kind":"commit","published_at":"2022-08-03T22:54:05.000Z","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/v1.1.0","html_url":"https://github.com/inQWIRE/SQIR/releases/tag/v1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inQWIRE/SQIR@v1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.1.0/manifests"},{"name":"v1.0.0","sha":"264358965dcf1c999e79d8996f108f79081d5e4e","kind":"commit","published_at":"2022-07-08T01:48:19.000Z","download_url":"https://codeload.github.com/inQWIRE/SQIR/tar.gz/v1.0.0","html_url":"https://github.com/inQWIRE/SQIR/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inQWIRE/SQIR@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/tags/v1.0.0/manifests"}]},"repo_metadata_updated_at":"2025-07-30T05:06:54.932Z","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/sqir","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/inqwire/sqir","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/inqwire/sqir","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/inqwire/sqir/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-06-10T10:58:27.143Z","issues_count":15,"pull_requests_count":36,"avg_time_to_close_issue":7454179.666666667,"avg_time_to_close_pull_request":1064989.6944444445,"issues_closed_count":6,"pull_requests_closed_count":36,"pull_request_authors_count":13,"issue_authors_count":8,"avg_comments_per_issue":1.8,"avg_comments_per_pull_request":0.3055555555555556,"merged_pull_requests_count":34,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":4,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":481751.25,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":4,"past_year_pull_request_authors_count":3,"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":4,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/issues","maintainers":[{"login":"khieta","count":14,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/khieta"},{"login":"caldwellb","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/caldwellb"},{"login":"akshajgaur","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/akshajgaur"},{"login":"adrianleh","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/adrianleh"},{"login":"k4rtik","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/k4rtik"},{"login":"PicksPeng","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/PicksPeng"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fsqir/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fsqir/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fsqir/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Finqwire%2Fsqir/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":1684632,"full_name":"inQWIRE/SQIR","default_branch":"main","committers":[{"name":"Kesha Hietala","email":"kesha.hietala@gmail.com","login":"khieta","count":323},{"name":"Liyi Li","email":"liyili@illinois.edu","login":null,"count":197},{"name":"Robert Rand","email":"rxtreme@gmail.com","login":"rnrand","count":121},{"name":"Kartik Singhal","email":"kartiksinghal@gmail.com","login":"k4rtik","count":78},{"name":"Yuxiang Peng","email":"pickspeng@gmail.com","login":"PicksPeng","count":74},{"name":"akshajgaur","email":"akshajgaur@gmail.com","login":"akshajgaur","count":73},{"name":"Shih-Han Hung","email":"shung@umd.edu","login":"hungshihhan","count":34},{"name":"Adrian Lehmann","email":"info@adrianlehmann.net","login":"adrianleh","count":26},{"name":"Liyi Li","email":"liyili2@illinois.edu","login":"liyili2","count":19},{"name":"Fady Adal","email":"2masadel@gmail.com","login":"f64u","count":16},{"name":"Finn Voichick","email":"fvoichick@gmail.com","login":"fvoichick","count":13},{"name":"Ben Caldwell","email":"caldwellb@uchicago.edu","login":"caldwellb","count":11},{"name":"lec9243","email":"lec9243@gmail.com","login":"lec9243","count":9},{"name":"Emilio Pelaez","email":"epelaaez@gmail.com","login":"epelaaez","count":8},{"name":"Runzhou Tao","email":"runzhou.tao@columbia.edu","login":"taorunz","count":5},{"name":"BHAKTISHAH","email":"shahbhakti21@gmail.com","login":"bhaktishh","count":4},{"name":"aaron-green19","email":"agreen19@umd.edu","login":"aaron-green19","count":2},{"name":"William Spencer","email":"williambrownspencer@gmail.com","login":"wjbs","count":2},{"name":"Shih-Han Hung","email":"shung@quicswks14.umiacs.umd.edu","login":null,"count":1},{"name":"timotheeMM","email":"143833750+timotheeMM","login":"timotheeMM","count":1}],"total_commits":1017,"total_committers":20,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":50.85,"dds":0.6823992133726646,"past_year_committers":[{"name":"Fady Adal","email":"2masadel@gmail.com","login":"f64u","count":16},{"name":"Ben Caldwell","email":"caldwellb@uchicago.edu","login":"caldwellb","count":2},{"name":"William Spencer","email":"wjbs@uchicago.edu","login":"wjbs","count":2}],"past_year_total_commits":20,"past_year_total_committers":3,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":6.666666666666667,"past_year_dds":0.19999999999999996,"last_synced_at":"2025-05-22T05:08:57.935Z","last_synced_commit":"9081860ff5f064f6e866e0e817532d4ac349df22","created_at":"2024-09-04T19:44:25.493Z","updated_at":"2025-05-22T05:08:58.053Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/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/SQIR","html_url":"https://github.com/inQWIRE/SQIR","last_synced_at":"2025-08-31T12:00:20.341Z","status":null,"issues_count":15,"pull_requests_count":38,"avg_time_to_close_issue":7454179.666666667,"avg_time_to_close_pull_request":1040674.9736842106,"issues_closed_count":6,"pull_requests_closed_count":38,"pull_request_authors_count":13,"issue_authors_count":8,"avg_comments_per_issue":1.8,"avg_comments_per_pull_request":0.2894736842105263,"merged_pull_requests_count":36,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":3,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":487626.6666666667,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":3,"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":3,"created_at":"2024-09-04T19:44:39.351Z","updated_at":"2025-09-02T03:44:11.708Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inQWIRE%2FSQIR/issues","issue_labels_count":{"enhancement":5,"good first issue":2,"documentation":2,"help wanted":1},"pull_request_labels_count":{},"issue_author_associations_count":{"MEMBER":9,"NONE":6},"pull_request_author_associations_count":{"MEMBER":18,"CONTRIBUTOR":15,"COLLABORATOR":7,"NONE":3},"issue_authors":{"khieta":8,"jasonlarkin":1,"1tnguyen":1,"IsolatedMy":1,"k4rtik":1,"monica1131":1,"henridb":1,"chenson2018":1},"pull_request_authors":{"caldwellb":7,"akshajgaur":6,"khieta":6,"wjbs":5,"taorunz":5,"adrianleh":4,"f64u":2,"timotheeMM":2,"epelaaez":2,"liyili2":1,"fvoichick":1,"k4rtik":1,"PicksPeng":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-02T00:00:07.986Z","repositories_count":10011414,"issues_count":30168754,"pull_requests_count":88974922,"authors_count":10134999,"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":1},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":3},"past_year_issue_authors":{"IsolatedMy":1},"past_year_pull_request_authors":{"wjbs":3},"maintainers":[{"login":"khieta","count":14,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/khieta"},{"login":"caldwellb","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/caldwellb"},{"login":"akshajgaur","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/akshajgaur"},{"login":"adrianleh","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/adrianleh"},{"login":"k4rtik","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/k4rtik"},{"login":"PicksPeng","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/PicksPeng"}],"active_maintainers":[]},"events":{"total":{"WatchEvent":7,"PushEvent":2,"PullRequestReviewEvent":2,"PullRequestEvent":3},"last_year":{"WatchEvent":7,"PushEvent":2,"PullRequestReviewEvent":2,"PullRequestEvent":3}},"keywords":["compiler-construction","coq","quantum-computing"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/coq-action.yml","sha":null,"kind":"manifest","created_at":"2024-02-02T18:47:36.164Z","updated_at":"2024-02-02T18:47:36.164Z","repository_link":"https://github.com/inQWIRE/SQIR/blob/main/.github/workflows/coq-action.yml","dependencies":[{"id":15992977650,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":15992977651,"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.718Z","updated_at":"2025-10-07T08:08:14.734Z","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/14878","html_url":"https://science.ecosyste.ms/projects/14878","bibtex_url":"https://science.ecosyste.ms/projects/14878/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/14878/export.apalike"}