{"id":41905,"name":"agda-stdlib-0.9","description":"The Agda standard library","url":"https://github.com/agda/agda-stdlib","last_synced_at":"2025-09-05T09:12:38.218Z","repository":{"id":13308570,"uuid":"15994976","full_name":"agda/agda-stdlib","owner":"agda","description":"The Agda standard library","archived":false,"fork":false,"pushed_at":"2025-08-05T01:47:06.000Z","size":599233,"stargazers_count":620,"open_issues_count":309,"forks_count":251,"subscribers_count":27,"default_branch":"master","last_synced_at":"2025-08-05T03:25:51.738Z","etag":null,"topics":["agda","library","proof"],"latest_commit_sha":null,"homepage":"https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary","language":"Agda","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/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":null,"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":"2014-01-17T09:09:18.000Z","updated_at":"2025-08-05T01:18:46.000Z","dependencies_parsed_at":"2023-10-11T03:56:35.869Z","dependency_job_id":"f54a8f29-28fe-4a8a-9b3f-a431f808f2ac","html_url":"https://github.com/agda/agda-stdlib","commit_stats":{"total_commits":3051,"total_committers":157,"mean_commits":19.43312101910828,"dds":0.6122582759750901,"last_synced_commit":"2839cec949bd2d19663e4401dd1f0114001b7db5"},"previous_names":[],"tags_count":43,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-stdlib","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/sbom","scorecard":{"id":170311,"data":{"date":"2025-08-11","repo":{"name":"github.com/agda/agda-stdlib","commit":"54f5c38799f6c0125f7dc914e073670b549bcbe6"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":5.8,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 10 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":10,"reason":"all changesets reviewed","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/ci-ubuntu.yml:1","Warn: no topLevel permission defined: .github/workflows/haskell-ci.yml:1","Warn: no topLevel permission defined: .github/workflows/whitespace.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENCE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:102: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:117: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:151: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:194: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haskell-ci.yml:177: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/haskell-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haskell-ci.yml:213: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/haskell-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haskell-ci.yml:237: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/haskell-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/whitespace.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/whitespace.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/whitespace.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/whitespace.yml/master?enable=pin","Info:   0 out of   6 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   3 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-16T16:15:18.290Z","repository_id":13308570,"created_at":"2025-08-16T16:15:18.290Z","updated_at":"2025-08-16T16:15:18.290Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273734881,"owners_count":25158354,"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-05T02:00:09.113Z","response_time":402,"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":"agda","name":"Agda Github Community","uuid":"410000","kind":"organization","description":"","email":null,"website":"https://wiki.portal.chalmers.se/agda","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/410000?v=4","repositories_count":32,"last_synced_at":"2024-03-26T00:04:58.562Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/agda","funding_links":[],"total_stars":4326,"followers":108,"following":0,"created_at":"2022-11-02T22:21:43.583Z","updated_at":"2024-03-26T00:04:58.715Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda/repositories"},"packages":[{"id":1396687,"name":"agda-stdlib-0.9","ecosystem":"npm","description":"The Agda Standard Library","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/agda/agda-stdlib","keywords_array":["agda","standard","library"],"namespace":null,"versions_count":3,"first_release_published_at":"2015-06-03T14:34:04.260Z","latest_release_published_at":"2015-06-03T15:54:58.886Z","latest_release_number":"0.9.3","last_synced_at":"2025-08-05T03:34:33.472Z","created_at":"2022-04-08T23:40:04.200Z","updated_at":"2025-08-05T03:39:57.601Z","registry_url":"https://www.npmjs.com/package/agda-stdlib-0.9","install_command":"npm install agda-stdlib-0.9","documentation_url":null,"metadata":{"funding":null},"repo_metadata":{"id":13308570,"uuid":"15994976","full_name":"agda/agda-stdlib","owner":"agda","description":"The Agda standard library","archived":false,"fork":false,"pushed_at":"2025-08-05T01:47:06.000Z","size":599233,"stargazers_count":620,"open_issues_count":309,"forks_count":251,"subscribers_count":27,"default_branch":"master","last_synced_at":"2025-08-05T03:25:51.738Z","etag":null,"topics":["agda","library","proof"],"latest_commit_sha":null,"homepage":"https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary","language":"Agda","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/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":null,"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":"2014-01-17T09:09:18.000Z","updated_at":"2025-08-05T01:18:46.000Z","dependencies_parsed_at":"2023-10-11T03:56:35.869Z","dependency_job_id":"f54a8f29-28fe-4a8a-9b3f-a431f808f2ac","html_url":"https://github.com/agda/agda-stdlib","commit_stats":{"total_commits":3051,"total_committers":157,"mean_commits":19.43312101910828,"dds":0.6122582759750901,"last_synced_commit":"2839cec949bd2d19663e4401dd1f0114001b7db5"},"previous_names":[],"tags_count":43,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-stdlib","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":268830807,"owners_count":24314075,"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-08-05T02:00:12.334Z","response_time":2576,"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":"agda","name":"Agda Github Community","uuid":"410000","kind":"organization","description":"","email":null,"website":"https://wiki.portal.chalmers.se/agda","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/410000?v=4","repositories_count":32,"last_synced_at":"2024-03-26T00:04:58.562Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/agda","funding_links":[],"total_stars":4326,"followers":108,"following":0,"created_at":"2022-11-02T22:21:43.583Z","updated_at":"2024-03-26T00:04:58.715Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda/repositories"},"tags":[{"name":"v2.3","sha":"8326c7475af1fa456ca04a0203c168d5d7ff842b","kind":"commit","published_at":"2025-08-02T13:17:43.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.3","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.3/manifests"},{"name":"v2.3-rc1","sha":"15a6bbeea92ae7e7fd93fd6efaffb72ff468fdb5","kind":"commit","published_at":"2025-07-18T03:47:52.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.3-rc1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.3-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.3-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.3-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.3-rc1/manifests"},{"name":"v2.2","sha":"6cd04e46e5f8c740a5ec584a108bbb3380fa92d7","kind":"tag","published_at":"2025-01-15T01:46:00.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.2","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.2/manifests"},{"name":"v2.2-rc1","sha":"d85cd7e5cc9d990c103be625e52331b6e7f125b9","kind":"commit","published_at":"2025-01-03T08:08:53.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.2-rc1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.2-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.2-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.2-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.2-rc1/manifests"},{"name":"v2.1.1","sha":"039e1f4abda49f307f7ed1f5e15232a1c8e9c48c","kind":"tag","published_at":"2024-09-03T02:20:43.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.1.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1.1/manifests"},{"name":"v2.1.1-rc2","sha":"3e5861c5a200b26f4254645f1b4921692f0ddcf9","kind":"commit","published_at":"2024-08-20T11:58:33.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.1.1-rc2","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.1.1-rc2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.1.1-rc2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1.1-rc2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1.1-rc2/manifests"},{"name":"v2.1.1-rc1","sha":"dd7c4818c608c984e554360eafc4aa30605d1ad0","kind":"commit","published_at":"2024-08-20T09:59:59.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.1.1-rc1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.1.1-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.1.1-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1.1-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1.1-rc1/manifests"},{"name":"v2.1","sha":"97bc55e47367c562b3032bf104f2a00b19716f88","kind":"tag","published_at":"2024-07-27T04:16:11.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.1/manifests"},{"name":"v2.0","sha":"2b8fff10f4033b91a6df4007e4a65cb10047c89c","kind":"tag","published_at":"2023-12-12T13:21:59.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.0","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.0/manifests"},{"name":"v2.0-rc2","sha":"53c36cd0e0d6dd361e50757d90fc887375dec523","kind":"commit","published_at":"2023-11-26T02:48:05.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.0-rc2","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.0-rc2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.0-rc2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.0-rc2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.0-rc2/manifests"},{"name":"v2.0-rc1","sha":"a7d23029ac94ba446d2cf2a6f4bf3859d7aa9506","kind":"commit","published_at":"2023-10-19T10:19:07.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v2.0-rc1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v2.0-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v2.0-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.0-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v2.0-rc1/manifests"},{"name":"v1.7.3","sha":"0817da6877aa045932221134913d8511caa78d97","kind":"tag","published_at":"2023-10-13T01:04:29.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.7.3","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.7.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.7.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.3/manifests"},{"name":"v1.7.2","sha":"b2e6385c1636897dbee0b10f7194376ff2c1753b","kind":"tag","published_at":"2023-02-01T02:05:24.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.7.2","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.7.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.7.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.2/manifests"},{"name":"v1.7.2-rc1","sha":"006894abf23fb6b7c69aebdc0d886421a22a6803","kind":"commit","published_at":"2022-10-30T01:34:55.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.7.2-rc1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.7.2-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.7.2-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.2-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.2-rc1/manifests"},{"name":"v1.7.1","sha":"b85c5d19ceeaaa22c57c138396141b7270218eb1","kind":"tag","published_at":"2021-11-22T17:08:33.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.7.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.7.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.7.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7.1/manifests"},{"name":"v1.7","sha":"b52327b6572eefb48eb1f1bc69192586e981736d","kind":"tag","published_at":"2021-06-20T03:52:33.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.7","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.7/manifests"},{"name":"v1.6","sha":"2f0fb515271fa1a01a5c55b9cf5d401c5c65aa37","kind":"tag","published_at":"2021-04-22T02:12:28.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.6","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.6/manifests"},{"name":"v1.5","sha":"5049a2a815474055b162883e4a799497034cd524","kind":"tag","published_at":"2021-01-26T02:03:17.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.5","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.5/manifests"},{"name":"v1.4","sha":"aaa506a5222c724ddf13a15c37cac2c4552c6bbb","kind":"tag","published_at":"2020-09-18T02:29:12.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.4","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.4/manifests"},{"name":"v1.3","sha":"9f929b4fe28bb7ba74b6b95d01ed0958343f3451","kind":"tag","published_at":"2020-03-17T03:38:39.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.3","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.3/manifests"},{"name":"v1.2","sha":"e47adf6ba5aa52ae394a7c60a3b5d3f4790db9d7","kind":"tag","published_at":"2019-11-11T13:16:21.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.2","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.2/manifests"},{"name":"v1.1","sha":"dffb8023a63e7e66a90a8664752245971a915e66","kind":"tag","published_at":"2019-06-29T03:30:49.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.1/manifests"},{"name":"v1.0.1","sha":"442abf2b3418d4d488381a2f8ca4e99bbf8cfc8e","kind":"tag","published_at":"2019-04-23T02:21:45.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.0.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.0.1/manifests"},{"name":"v1.0","sha":"505cc141596afd966705904576bbfea1151a07fc","kind":"commit","published_at":"2019-04-11T02:20:47.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v1.0","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v1.0/manifests"},{"name":"v0.17","sha":"5819a4dd9c965296224944f05b1481805649bdc2","kind":"tag","published_at":"2018-10-20T11:35:42.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.17","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.17","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.17","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.17","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.17/manifests"},{"name":"v0.16.1","sha":"c8bad1887c56995d3e1036dab84aef1e3ceffa8d","kind":"tag","published_at":"2018-08-17T16:09:12.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.16.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.16.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.16.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.16.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.16.1/manifests"},{"name":"v0.16","sha":"a1a10b39d35b8fc40e87723a89f5682252d46380","kind":"tag","published_at":"2018-06-08T06:52:28.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.16","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.16","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.16","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.16","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.16/manifests"},{"name":"v0.15","sha":"c06437e4ebb5365d502fb0a79775e5c591ab8ae5","kind":"tag","published_at":"2018-03-12T16:10:57.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.15","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.15","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.15","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.15","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.15/manifests"},{"name":"v0.14","sha":"db160802e15b4661ae86486e7feb68934614b7f0","kind":"tag","published_at":"2017-09-11T09:17:40.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.14","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.14/manifests"},{"name":"v0.13","sha":"139696e948c118062b5a34f7e190f549e40495ee","kind":"tag","published_at":"2016-12-22T13:39:07.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.13","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.13","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.13","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.13","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.13/manifests"},{"name":"v0.12","sha":"7cc77a7360dee40d286fb5acee2bcaa7359a7bfc","kind":"tag","published_at":"2016-04-16T19:25:02.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.12","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.12/manifests"},{"name":"v0.11","sha":"8602c29a7627eb001344cf50e6b74f880fb6bf18","kind":"tag","published_at":"2015-10-29T04:38:47.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.11","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.11/manifests"},{"name":"v0.10","sha":"ebc84f93272bb3888bb55fdd33967b67b138ffcb","kind":"tag","published_at":"2015-09-25T14:02:52.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.10","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.10/manifests"},{"name":"v0.9","sha":"a9779b97252a4e2631015f477c01d9c189e4ab80","kind":"tag","published_at":"2014-11-14T23:18:55.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.9","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.9/manifests"},{"name":"v0.8.1","sha":"73159e960c250b41b6fe5d5984aa7f5245d9fb8a","kind":"tag","published_at":"2014-08-29T12:39:58.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.8.1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.8.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.8.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.8.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.8.1/manifests"},{"name":"v0.8","sha":"098d89b3fb66e8e87178587d32dd01255611768b","kind":"tag","published_at":"2014-06-17T03:52:18.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.8","html_url":"https://github.com/agda/agda-stdlib/releases/tag/v0.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@v0.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/v0.8/manifests"},{"name":"0_7","sha":"db9be02c69c77acdcedf36d21f85b4d6c306cfb0","kind":"tag","published_at":"2013-01-29T16:22:15.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_7","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_7/manifests"},{"name":"0_6","sha":"f04eaa3d00e3900568eb428d4fe84457b64be119","kind":"tag","published_at":"2011-12-27T19:43:40.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_6","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_6/manifests"},{"name":"0_5","sha":"c821dd8c39263c6a3113257aa6bf4e0ab4a0d17c","kind":"tag","published_at":"2011-02-20T17:43:22.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_5","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_5/manifests"},{"name":"0_4","sha":"b8cffd7617bfda907b3d5b9f1c7d8805bea04e51","kind":"tag","published_at":"2010-09-27T06:23:08.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_4","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_4/manifests"},{"name":"0_3","sha":"5e6e42cb2ed6ecfdbc3bb03bc32a3be75acde165","kind":"tag","published_at":"2009-12-23T00:42:31.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_3","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_3/manifests"},{"name":"0_2","sha":"54085f509c319d30db2e75271e6a18cfcc1e7cd2","kind":"tag","published_at":"2009-07-07T21:28:56.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_2","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_2/manifests"},{"name":"0_1","sha":"100f26de8b64ec6c5e2c17c7bef9c7d02ee962d7","kind":"tag","published_at":"2009-04-23T15:28:46.000Z","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/0_1","html_url":"https://github.com/agda/agda-stdlib/releases/tag/0_1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-stdlib@0_1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags/0_1/manifests"}]},"repo_metadata_updated_at":"2025-08-05T03:39:57.601Z","dependent_packages_count":0,"downloads":16,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":49.758163844932405,"dependent_repos_count":null,"dependent_packages_count":null,"stargazers_count":3.0549624216610205,"forks_count":2.2211432288688626,"average":18.34475649848743},"purl":"pkg:npm/agda-stdlib-0.9","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/npm/agda-stdlib-0.9","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/npm/agda-stdlib-0.9","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/npm/agda-stdlib-0.9/dependencies","status":"unpublished","funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-07-28T19:53:44.851Z","issues_count":31,"pull_requests_count":90,"avg_time_to_close_issue":192543.2,"avg_time_to_close_pull_request":467625.69444444444,"issues_closed_count":10,"pull_requests_closed_count":72,"pull_request_authors_count":10,"issue_authors_count":10,"avg_comments_per_issue":4.580645161290323,"avg_comments_per_pull_request":2.077777777777778,"merged_pull_requests_count":68,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":29,"past_year_pull_requests_count":90,"past_year_avg_time_to_close_issue":192543.2,"past_year_avg_time_to_close_pull_request":467625.69444444444,"past_year_issues_closed_count":10,"past_year_pull_requests_closed_count":72,"past_year_pull_request_authors_count":10,"past_year_issue_authors_count":10,"past_year_avg_comments_per_issue":4.103448275862069,"past_year_avg_comments_per_pull_request":2.077777777777778,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":68,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/issues","maintainers":[{"login":"andreasabel","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"gallais","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"Taneb","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Taneb"}],"active_maintainers":[{"login":"andreasabel","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"gallais","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"Taneb","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Taneb"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/agda-stdlib-0.9/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/agda-stdlib-0.9/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/agda-stdlib-0.9/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/agda-stdlib-0.9/related_packages","maintainers":[{"uuid":"gallais","login":"gallais","name":null,"email":"guillaume.allais@ens-lyon.org","url":null,"packages_count":1,"html_url":"https://www.npmjs.com/~gallais","role":null,"created_at":"2022-11-11T08:10:07.949Z","updated_at":"2022-11-11T08:10:07.949Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers/gallais/packages"}],"registry":{"name":"npmjs.org","url":"https://registry.npmjs.org","ecosystem":"npm","default":true,"packages_count":5130923,"maintainers_count":1051581,"namespaces_count":313328,"keywords_count":730052,"github":"npm","metadata":{"funded_packages_count":155759},"icon_url":"https://github.com/npm.png","created_at":"2022-04-04T15:19:23.081Z","updated_at":"2025-09-05T07:36:50.205Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/namespaces"}}],"commits":{"id":118020,"full_name":"agda/agda-stdlib","default_branch":"master","committers":[{"name":"Nils Anders Danielsson","email":"nils.anders.danielsson@gmail.com","count":1183},{"name":"MatthewDaggitt","email":"matthewdaggitt@gmail.com","count":555},{"name":"G. Allais","email":"guillaume.allais@ens-lyon.org","count":285},{"name":"Andrés Sicard-Ramírez","email":"asr@eafit.edu.co","count":170},{"name":"Ulf Norell","email":"ulfn@chalmers.se","count":106},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","count":71},{"name":"Nils Anders Danielsson","email":"nad@cse.gu.se","count":58},{"name":"Nicolas Pouillard","email":"nicolas.pouillard@gmail.com","count":42},{"name":"Nathan van Doorn","email":"nvd1234@gmail.com","count":36},{"name":"Akshobhya K M","email":"akshobhyakm@gmail.com","count":33},{"name":"jamesmckinna","email":"31931406+jamesmckinna@users.noreply.github.com","count":32},{"name":"Matthew Daggitt","email":"mld46@cl.cam.ac.uk","count":31},{"name":"Jacques Carette","email":"carette@mcmaster.ca","count":29},{"name":"James McKinna","email":"J.McKinna@hw.ac.uk","count":16},{"name":"Jesper Cockx","email":"jesper@sikanda.be","count":16},{"name":"Maciej Piechotka","email":"uzytkownik2@gmail.com","count":11},{"name":"Stevan Andjelkovic","email":"stevan.andjelkovic@strath.ac.uk","count":11},{"name":"James Wood","email":"laMudri@gmail.com","count":10},{"name":"Shin-Cheng Mu","email":"scm@iis.sinica.edu.tw","count":10},{"name":"mechvel","email":"mechvel@users.noreply.github.com","count":10},{"name":"Uma Zalakain","email":"ping@umazalakain.info","count":9},{"name":"herminie","email":"47478084+pnlph@users.noreply.github.com","count":9},{"name":"Sandro Stucki","email":"sandro.stucki@gmail.com","count":9},{"name":"Liang-Ting Chen","email":"liang.ting.chen.tw@gmail.com","count":8},{"name":"Philipp Hausmann","email":"ph_git@314.ch","count":8},{"name":"Donnacha Oisín Kidney","email":"mail@doisinkidney.com","count":7},{"name":"Milo","email":"iitalics@gmail.com","count":7},{"name":"Jason Hu","email":"fdhzs2010@hotmail.com","count":6},{"name":"Pepijn Kokke","email":"pepijn.kokke@gmail.com","count":6},{"name":"Dominique Devriese","email":"dominique.devriese@cs.kuleuven.be","count":6},{"name":"Brad Hardy","email":"bradleyhardy@live.com","count":6},{"name":"Fabian","email":"bafain@gmail.com","count":6},{"name":"Conal Elliott","email":"conal@conal.net","count":6},{"name":"Joachim Breitner","email":"mail@joachim-breitner.de","count":6},{"name":"Donnacha Oisín Kidney","email":"oisdk@users.noreply.github.com","count":5},{"name":"Apostolis Xekoukoulotakis","email":"apostolis.xekoukoulotakis@gmail.com","count":5},{"name":"Alex Rice","email":"alexrice999@hotmail.co.uk","count":5},{"name":"Harrison Grodin","email":"hgrodin@andrew.cmu.edu","count":5},{"name":"M Farkas-Dyck","email":"strake888@gmail.com","count":5},{"name":"James Wood","email":"jammyatjammy@gmail.com","count":5},{"name":"Arjen Jonathan","email":"a.j.rouvoet@gmail.com","count":5},{"name":"Noam Zeilberger","email":"noam.zeilberger@gmail.com","count":5},{"name":"Lex van der Stoep","email":"lex.vanderstoep@gmail.com","count":4},{"name":"Eric Mertens","email":"emertens@gmail.com","count":4},{"name":"Guilherme Silva","email":"guilhermehas@hotmail.com","count":4},{"name":"Reed Mullanix","email":"reedmullanix@gmail.com","count":4},{"name":"Fredrik Nordvall Forsberg","email":"fredrik.nordvall-forsberg@strath.ac.uk","count":4},{"name":"Jason Hu","email":"HuStmpHrrr@users.noreply.github.com","count":4},{"name":"Gergő Érdi","email":"gergo@erdi.hu","count":4},{"name":"Liang-Ting Chen","email":"xcycl@iis.sinica.edu.tw","count":4},{"name":"Xiaohu Wang","email":"xiaohu.wang0921@gmail.com","count":4},{"name":"Robert Estelle","email":"robertestelle@gmail.com","count":4},{"name":"elsanussi-s-mneina","email":"52800671+elsanussi-s-mneina@users.noreply.github.com","count":4},{"name":"Simon Johansson","email":"simon@forintens.se","count":3},{"name":"Octavian Mircea Sebe","email":"mirceasebe@yahoo.com","count":3},{"name":"Xia Li-yao","email":"Lysxia@users.noreply.github.com","count":3},{"name":"pnlph","email":"nlp@fairbill.com","count":3},{"name":"James Chapman","email":"jmchapman@gmail.com","count":3},{"name":"Wen Kokke","email":"wenkokke@users.noreply.github.com","count":3},{"name":"Zambonifofex","email":"zambonifofex@gmail.com","count":3},{"name":"Rei","email":"satopen1729@gmail.com","count":3},{"name":"Helmut Grohne","email":"grohne@cs.uni-bonn.de","count":3},{"name":"Alice Laroche","email":"60161310+Seiryn21@users.noreply.github.com","count":3},{"name":"Akshobhya K M","email":"37979957+Akshobhya1234@users.noreply.github.com","count":3},{"name":"David Banas","email":"capn.freako@gmail.com","count":3},{"name":"XuanyanLong","email":"56586991+5xy1@users.noreply.github.com","count":3},{"name":"Andrea Vezzosi","email":"sanzhiyan@gmail.com","count":3},{"name":"Liyang HU","email":"darcs@liyang.hu","count":3},{"name":"turion","email":"manuel@enigmage.de","count":3},{"name":"Simon Foster","email":"S.Foster@dcs.shef.ac.uk","count":3},{"name":"damhiya","email":"damhiya@gmail.com","count":2},{"name":"Amélia Liao","email":"me@amelia.how","count":2},{"name":"Danny Navarro","email":"j@dannynavarro.net","count":2},{"name":"Jordan Barrett","email":"90195985+barrettj12@users.noreply.github.com","count":2},{"name":"István Donkó","email":"istvan.donko@gmail.com","count":2},{"name":"Chris","email":"cspollard@users.noreply.github.com","count":2},{"name":"Dominique Devriese","email":"dominique.devriese@vub.be","count":2},{"name":"Markus Wageringel","email":"39632129+mwageringel@users.noreply.github.com","count":2},{"name":"Lucas Escot","email":"flupe@users.noreply.github.com","count":2},{"name":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","count":2},{"name":"Octavian Mircea Sebe","email":"oms567@student.bham.ac.uk","count":2},{"name":"Calin Tataru","email":"calintat@gmail.com","count":2},{"name":"Daniil Kisel","email":"56605335+KislyjKisel@users.noreply.github.com","count":2},{"name":"Samuel Bronson","email":"naesten@gmail.com","count":2},{"name":"jake","email":"rizoid@rizoid.space","count":2},{"name":"Alan Jeffrey","email":"ajeffrey@bell-labs.com","count":1},{"name":"Ahmad Salim Al-Sibahi","email":"asal@itu.dk","count":1},{"name":"Gilles Coremans","email":"gilles.coremans@gmail.com","count":1},{"name":"Dan Doel","email":"dan.doel@gmail.com","count":1},{"name":"Adam Krupicka","email":"akr@mail.muni.cz","count":1},{"name":"0xd34df00d","email":"0xd34df00d@gmail.com","count":1},{"name":"=","email":"=","count":1},{"name":"Egbert Rijke","email":"e.m.rijke@gmail.com","count":1},{"name":"Andreas Källberg","email":"anka.213@gmail.com","count":1},{"name":"Fangyi Zhou","email":"me@fangyi.io","count":1},{"name":"Alexander Ben Nasrallah","email":"me@abn.sh","count":1},{"name":"Armando Santos","email":"armandoifsantos@gmail.com","count":1},{"name":"Bob Atkey","email":"bobatkey@users.noreply.github.com","count":1},{"name":"Darin Morrison","email":"dwm@cs.nott.ac.uk","count":1},{"name":"Callan McGill","email":"callan.mcgill@gmail.com","count":1},{"name":"Daniel Brown","email":"dbrown@ccs.neu.edu","count":1},{"name":"Carlos Tomé","email":"carlostome1990@gmail.com","count":1},{"name":"Ed Nutting","email":"1746336+EdNutting@users.noreply.github.com","count":1},{"name":"Alex Hubers","email":"ahubers15@cornellcollege.edu","count":1},{"name":"Edward Nutting","email":"edwardnutting@outlook.com","count":1},{"name":"Jamie Lowenthal","email":"jmlowenthal@users.noreply.github.com","count":1},{"name":"Ingo Blechschmidt","email":"iblech@web.de","count":1},{"name":"Dylan Ede","email":"dylanede@googlemail.com","count":1},{"name":"Ed Nutting","email":"ed@beyondrisc.com","count":1},{"name":"Jonathan Castello","email":"twisol@jonathan.com","count":1},{"name":"Jannis Limperg","email":"jannis@limperg.de","count":1},{"name":"Francesco Gazzetta","email":"fgaz@fgaz.me","count":1},{"name":"Guilhem Moulin","email":"guilhem.moulin@chalmers.se","count":1},{"name":"Helmut Grohne","email":"helmut@subdivi.de","count":1},{"name":"Evgeny Kotelnikov","email":"evgeny.kotelnikov@gmail.com","count":1},{"name":"Leonhard Markert","email":"curiousleo@users.noreply.github.com","count":1},{"name":"David Sheets","email":"sheets@alum.mit.edu","count":1},{"name":"Mathieu Montin","email":"mathieu.montin@enseeiht.fr","count":1},{"name":"Jean-Philippe Bernardy","email":"jeanphilippe.bernardy@gmail.com","count":1},{"name":"Malin Altenmüller","email":"malin.altenmuller@strath.ac.uk","count":1},{"name":"JorisCeulemans","email":"joris_ceulemans@hotmail.com","count":1},{"name":"Robert Estelle","email":"robert.estelle@gmail.com","count":1},{"name":"Patrik Jansson","email":"patrikj@chalmers.se","count":1},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","count":1},{"name":"Ryan Orendorff","email":"12442942+ryanorendorff@users.noreply.github.com","count":1},{"name":"Sergey Goncharov","email":"64401608+sergey-goncharov@users.noreply.github.com","count":1},{"name":"Liam O'Connor","email":"whiteslug@gmail.com","count":1},{"name":"Sean Seefried","email":"sean@seefried.com.au","count":1},{"name":"Musa Al-hassy","email":"alhassy@gmail.com","count":1},{"name":"Jinwoo Lee","email":"jinwoo@google.com","count":1},{"name":"Uncle Betty","email":"3210857+uncle-betty@users.noreply.github.com","count":1},{"name":"Tesla Ice Zhang","email":"951394653@qq.com","count":1},{"name":"JorisCeulemans","email":"joris.ceulemans@vub.be","count":1},{"name":"Yuxuan Dai","email":"duinomaker@gmail.com","count":1},{"name":"Zack Grannan","email":"zgrannan@protonmail.com","count":1},{"name":"cmcmA20","email":"cmcmA20@pm.me","count":1},{"name":"flicky frans","email":"flickyfrans@gmail.com","count":1},{"name":"Wen Kokke","email":"wen.kokke@gmail.com","count":1},{"name":"jamesmckinna","email":"j.mckinna@hw.ac.uk","count":1},{"name":"doyougnu","email":"jmy6342@gmail.com","count":1},{"name":"jake","email":"leach.jacob.d@gmail.com","count":1},{"name":"identicalsnowflake","email":"identicalsnowflake@yandex.com","count":1},{"name":"Peter Berry","email":"pwberry@gmail.com","count":1},{"name":"Stefan Holdermans","email":"stefan@holdermans.nl","count":1},{"name":"Felix Yan","email":"felixonmars@archlinux.org","count":1},{"name":"effectfully","email":"effectfully@gmail.com","count":1},{"name":"rubenpieters","email":"rubenpieters@users.noreply.github.com","count":1},{"name":"Tony Beta Lambda","email":"tonybetalambda@gmail.com","count":1},{"name":"Tomas Möre","email":"tomas.o.more@gmail.com","count":1},{"name":"Víctor López Juan","email":"victor@lopezjuan.com","count":1},{"name":"Guannan Wei","email":"kiss.kraks@gmail.com","count":1},{"name":"laMudri","email":"lamudri@gmail.com","count":1},{"name":"dm606","email":"dylanmcdermott9@gmail.com","count":1},{"name":"negiizhao","email":"egresf@gmail.com","count":1},{"name":"Noriyuki OHKAWA","email":"n.ohkawa@gmail.com","count":1},{"name":"Splinter Suidman","email":"splinter@mannenopdemaan.nl","count":1},{"name":"Scott Godwin","email":"sgodwincs@gmail.com","count":1}],"total_commits":3051,"total_committers":157,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":19.43312101910828,"dds":0.6122582759750901,"past_year_committers":[{"name":"jamesmckinna","email":"31931406+jamesmckinna@users.noreply.github.com","count":22},{"name":"James McKinna","email":"J.McKinna@hw.ac.uk","count":16},{"name":"Akshobhya K M","email":"akshobhyakm@gmail.com","count":14},{"name":"MatthewDaggitt","email":"matthewdaggitt@gmail.com","count":12},{"name":"G. Allais","email":"guillaume.allais@ens-lyon.org","count":11},{"name":"Nathan van Doorn","email":"nvd1234@gmail.com","count":10},{"name":"Harrison Grodin","email":"hgrodin@andrew.cmu.edu","count":5},{"name":"Alice Laroche","email":"60161310+Seiryn21@users.noreply.github.com","count":3},{"name":"David Banas","email":"capn.freako@gmail.com","count":3},{"name":"Nils Anders Danielsson","email":"nad@cse.gu.se","count":3},{"name":"Xia Li-yao","email":"Lysxia@users.noreply.github.com","count":3},{"name":"Jacques Carette","email":"carette@mcmaster.ca","count":3},{"name":"XuanyanLong","email":"56586991+5xy1@users.noreply.github.com","count":3},{"name":"Guilherme Silva","email":"guilhermehas@hotmail.com","count":2},{"name":"Daniil Kisel","email":"56605335+KislyjKisel@users.noreply.github.com","count":2},{"name":"Amélia Liao","email":"me@amelia.how","count":2},{"name":"Xiaohu Wang","email":"xiaohu.wang0921@gmail.com","count":2},{"name":"James Wood","email":"jammyatjammy@gmail.com","count":2},{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","count":2},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","count":1},{"name":"Callan McGill","email":"callan.mcgill@gmail.com","count":1},{"name":"Andrés Sicard-Ramírez","email":"asr@eafit.edu.co","count":1},{"name":"Ulf Norell","email":"ulfn@chalmers.se","count":1},{"name":"Alex Hubers","email":"ahubers15@cornellcollege.edu","count":1},{"name":"Sandro Stucki","email":"sandro.stucki@gmail.com","count":1},{"name":"Scott Godwin","email":"sgodwincs@gmail.com","count":1},{"name":"Armando Santos","email":"armandoifsantos@gmail.com","count":1},{"name":"Uncle Betty","email":"3210857+uncle-betty@users.noreply.github.com","count":1},{"name":"Yuxuan Dai","email":"duinomaker@gmail.com","count":1},{"name":"cmcmA20","email":"cmcmA20@pm.me","count":1},{"name":"jamesmckinna","email":"j.mckinna@hw.ac.uk","count":1}],"past_year_total_commits":132,"past_year_total_committers":31,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":4.258064516129032,"past_year_dds":0.8333333333333334,"last_synced_at":"2023-04-27T19:01:27.084Z","last_synced_commit":"2839cec949bd2d19663e4401dd1f0114001b7db5","created_at":"2023-03-07T22:57:54.100Z","updated_at":"2023-09-19T15:58:26.732Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-28T00:00:20.468Z","repositories_count":5479765,"commits_count":853309695,"contributors_count":31095220,"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":"agda/agda-stdlib","html_url":"https://github.com/agda/agda-stdlib","last_synced_at":"2025-08-31T10:28:42.289Z","status":null,"issues_count":77,"pull_requests_count":274,"avg_time_to_close_issue":9969899.4,"avg_time_to_close_pull_request":1339608.2777777778,"issues_closed_count":30,"pull_requests_closed_count":198,"pull_request_authors_count":20,"issue_authors_count":19,"avg_comments_per_issue":3.155844155844156,"avg_comments_per_pull_request":1.7007299270072993,"merged_pull_requests_count":178,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":70,"past_year_pull_requests_count":268,"past_year_avg_time_to_close_issue":1823452.76,"past_year_avg_time_to_close_pull_request":554846.6614583334,"past_year_issues_closed_count":25,"past_year_pull_requests_closed_count":192,"past_year_pull_request_authors_count":19,"past_year_issue_authors_count":16,"past_year_avg_comments_per_issue":2.057142857142857,"past_year_avg_comments_per_pull_request":1.5186567164179103,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":176,"created_at":"2025-05-12T14:33:20.145Z","updated_at":"2025-09-03T06:54:04.135Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/issues","issue_labels_count":{"library-design":41,"refactoring":40,"addition":38,"discussion":21,"bug":20,"low-hanging-fruit":17,"breaking":14,"deprecation":12,"dependencies":11,"naming":10,"documentation":10,"question":8,"admin":6,"task":5,"style-guide":4,"cosmetic":4,"release":3,"status: duplicate":3,"continuous-integration":3,"upstream":2,"performance":2,"cubical-compatible":2,"instances":2,"tactics":1,"status: invalid":1,"regression":1,"status: blocked-by-issue":1},"pull_request_labels_count":{"addition":140,"refactoring":122,"dependencies":48,"cosmetic":45,"bug":39,"library-design":30,"low-hanging-fruit":30,"deprecation":27,"admin":19,"documentation":18,"breaking":17,"naming":15,"discussion":9,"status: blocked-by-issue":6,"style-guide":6,"continuous-integration":4,"status: duplicate":4,"upstream":4,"status: won't-merge":3,"instances":3,"tactics":3,"release":2,"reflection":2,"performance":2,"Fairbairn threshold":1,"cubical-compatible":1,"paper-based":1,"license":1,"question":1},"issue_author_associations_count":{"CONTRIBUTOR":151,"MEMBER":24,"NONE":20},"pull_request_author_associations_count":{"CONTRIBUTOR":403,"MEMBER":47,"NONE":17},"issue_authors":{"jamesmckinna":89,"mechvel":24,"JacquesCarette":17,"gallais":10,"MatthewDaggitt":9,"onestruggler":9,"Taneb":9,"andreasabel":5,"jwaldmann":2,"javierdiaz72":2,"jmougeot":2,"wgbusch":1,"mildsunrise":1,"juhp":1,"m0davis":1,"carlostome":1,"SlimTim10":1,"alexarice":1,"Saransh-cpp":1,"kurnevsky":1,"jbclements":1,"TOTBWF":1,"rvs314":1,"radams78":1,"bsaul":1,"laMudri":1,"mietek":1,"e-mniang":1},"pull_request_authors":{"jamesmckinna":188,"jmougeot":128,"JacquesCarette":21,"andreasabel":18,"Taneb":17,"MatthewDaggitt":16,"gallais":10,"carlostome":7,"mildsunrise":6,"bsaul":4,"cspollard":4,"Ailrun":4,"mechvel":3,"laMudri":3,"omelkonian":3,"onestruggler":3,"javierdiaz72":2,"pmbittner":2,"shhyou":2,"WhatisRT":2,"ulidtko":2,"lexvanderstoep":2,"uncle-betty":2,"guilhermehas":2,"gabriellisboaconegero":2,"cmcmA20":1,"dolio":1,"gshen42":1,"amblafont":1,"Necried":1,"jespercockx":1,"Saransh-cpp":1,"TOTBWF":1,"ncfavier":1,"Sofia-Insa":1,"ruifengx":1,"tsung-ju":1,"mars0i":1,"wasabi315":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10095926,"issues_count":31397479,"pull_requests_count":97150418,"authors_count":10700329,"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":{"refactoring":17,"library-design":15,"bug":12,"addition":8,"breaking":6,"deprecation":6,"discussion":4,"style-guide":3,"dependencies":3,"question":3,"documentation":2,"cubical-compatible":1,"cosmetic":1,"naming":1,"admin":1,"release":1,"instances":1,"low-hanging-fruit":1},"past_year_pull_request_labels_count":{"refactoring":67,"addition":66,"bug":27,"dependencies":23,"cosmetic":22,"deprecation":17,"breaking":13,"low-hanging-fruit":12,"naming":9,"admin":8,"library-design":8,"documentation":6,"status: blocked-by-issue":4,"upstream":3,"status: duplicate":3,"discussion":2,"release":2,"style-guide":2,"continuous-integration":1,"status: won't-merge":1,"Fairbairn threshold":1,"question":1,"performance":1},"past_year_issue_author_associations_count":{"CONTRIBUTOR":65,"NONE":17,"MEMBER":2},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":258,"MEMBER":24,"NONE":16},"past_year_issue_authors":{"jamesmckinna":42,"onestruggler":9,"mechvel":9,"JacquesCarette":6,"gallais":2,"javierdiaz72":2,"jmougeot":2,"jwaldmann":2,"SlimTim10":1,"rvs314":1,"radams78":1,"MatthewDaggitt":1,"kurnevsky":1,"juhp":1,"jbclements":1,"e-mniang":1,"carlostome":1,"bsaul":1},"past_year_pull_request_authors":{"jmougeot":128,"jamesmckinna":99,"andreasabel":10,"Taneb":10,"MatthewDaggitt":9,"carlostome":7,"Ailrun":4,"gallais":4,"bsaul":4,"onestruggler":3,"javierdiaz72":2,"pmbittner":2,"JacquesCarette":2,"ulidtko":2,"cspollard":2,"gabriellisboaconegero":2,"shhyou":2,"ruifengx":1,"wasabi315":1,"omelkonian":1,"mechvel":1,"Necried":1,"tsung-ju":1},"maintainers":[{"login":"Taneb","count":26,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Taneb"},{"login":"andreasabel","count":23,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"gallais","count":20,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"jespercockx","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"ncfavier","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"}],"active_maintainers":[{"login":"andreasabel","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"Taneb","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Taneb"},{"login":"gallais","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"}]},"events":null,"keywords":["agda","library","proof"],"dependencies":[{"ecosystem":"hackage","filepath":"agda-stdlib-utils.cabal","sha":null,"kind":"manifest","created_at":"2022-07-12T00:01:05.724Z","updated_at":"2022-07-12T00:01:05.724Z","repository_link":"https://github.com/agda/agda-stdlib/blob/master/agda-stdlib-utils.cabal","dependencies":[{"id":141095185,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.9.0.0 \u0026\u0026 \u003c4.17","direct":true,"kind":"runtime","optional":false},{"id":141095186,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.0.0.0 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false},{"id":141095187,"package_name":"filemanip","ecosystem":"hackage","requirements":"\u003e=0.3.6.2 \u0026\u0026 \u003c0.4","direct":true,"kind":"runtime","optional":false},{"id":141095188,"package_name":"filepath","ecosystem":"hackage","requirements":"\u003e=1.4.1.0 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":141095189,"package_name":"mtl","ecosystem":"hackage","requirements":"\u003e=2.2.2 \u0026\u0026 \u003c2.4","direct":true,"kind":"runtime","optional":false},{"id":141095190,"package_name":"text","ecosystem":"hackage","requirements":"\u003e=1.2.3.0 \u0026\u0026 \u003c2.1","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci-ubuntu.yml","sha":null,"kind":"manifest","created_at":"2023-01-14T07:46:05.379Z","updated_at":"2023-01-14T07:46:05.379Z","repository_link":"https://github.com/agda/agda-stdlib/blob/master/.github/workflows/ci-ubuntu.yml","dependencies":[{"id":6893282521,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6893282522,"package_name":"haskell/actions/setup","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":6893282523,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6893282524,"package_name":"JamesIves/github-pages-deploy-action","ecosystem":"actions","requirements":"4.1.3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/haskell-ci.yml","sha":null,"kind":"manifest","created_at":"2023-01-14T07:46:05.417Z","updated_at":"2023-01-14T07:46:05.417Z","repository_link":"https://github.com/agda/agda-stdlib/blob/master/.github/workflows/haskell-ci.yml","dependencies":[{"id":6893282639,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6893282640,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]}],"score":14.723567888218362,"created_at":"2025-09-04T15:51:16.732Z","updated_at":"2025-12-20T15:00:09.018Z","avatar_url":"https://github.com/agda.png","language":"Agda","category":null,"sub_category":null,"monthly_downloads":16,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["dependent-types","programming-language","proof-assistant","type-theory"],"project_url":"https://science.ecosyste.ms/api/v1/projects/41905","html_url":"https://science.ecosyste.ms/projects/41905","bibtex_url":"https://science.ecosyste.ms/projects/41905/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/41905/export.apalike"}