{"id":37437,"name":"agda","description":"Agda is a dependently typed programming language / interactive theorem prover.","url":"https://github.com/agda/agda","last_synced_at":"2025-09-05T07:27:34.525Z","repository":{"id":37431000,"uuid":"40411471","full_name":"agda/agda","owner":"agda","description":"Agda is a dependently typed programming language / interactive theorem prover.","archived":false,"fork":false,"pushed_at":"2025-09-01T15:52:12.000Z","size":155129,"stargazers_count":2698,"open_issues_count":1058,"forks_count":380,"subscribers_count":64,"default_branch":"master","last_synced_at":"2025-09-01T17:41:29.323Z","etag":null,"topics":["agda","dependent-types","programming-language","proof-assistant","type-theory"],"latest_commit_sha":null,"homepage":"https://wiki.portal.chalmers.se/agda/pmwiki.php","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-08-08T17:51:48.000Z","updated_at":"2025-09-01T15:52:15.000Z","dependencies_parsed_at":"2023-09-29T12:24:25.949Z","dependency_job_id":"ba56947d-c4f7-4ddd-96dd-29dd4aca4a33","html_url":"https://github.com/agda/agda","commit_stats":null,"previous_names":[],"tags_count":107,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/sbom","scorecard":{"id":170309,"data":{"date":"2025-08-11","repo":{"name":"github.com/agda/agda","commit":"107f4ce7e17faaa53188a599dbe952998e8070bf"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.7,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 22 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":1,"reason":"Found 2/12 approved changesets -- score normalized to 1","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":"Dangerous-Workflow","score":0,"reason":"dangerous workflow patterns detected","details":["Warn: script injection with untrusted input ' github.head_ref   ': .github/workflows/test.yml:24"],"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":"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/cabal-install.yml:1","Warn: no topLevel permission defined: .github/workflows/cabal.yml:1","Warn: no topLevel permission defined: .github/workflows/delete-unused-caches.yml:1","Warn: no topLevel permission defined: .github/workflows/deploy.yml:1","Warn: no topLevel permission defined: .github/workflows/haddock.yml:1","Warn: no topLevel permission defined: .github/workflows/stack.yml:1","Warn: no topLevel permission defined: .github/workflows/test.yml:1","Warn: no topLevel permission defined: .github/workflows/user_manual.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":"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: LICENSE: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":"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":"Fuzzing","score":10,"reason":"project is fuzzed","details":["Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:19","Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:21","Info: HaskellPropertyBasedTesting integration found: test/Internal/Interaction/Library.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Abstract/Name.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Concrete/Name.hs:14","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Coverage/SplitTree.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Free/Lazy.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Positivity/Occurrence.hs:15","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/Syntax.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/WarshallSolver.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Substitute.hs:18","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/Graph/AdjacencyMap/Unidirectional.hs:37","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/IntSet.hs:11","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/VarSet.hs:5","Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:19","Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:21","Info: HaskellPropertyBasedTesting integration found: test/Internal/Interaction/Library.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Abstract/Name.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Concrete/Name.hs:14","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Coverage/SplitTree.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Free/Lazy.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Positivity/Occurrence.hs:15","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/Syntax.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/WarshallSolver.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Substitute.hs:18","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/Graph/AdjacencyMap/Unidirectional.hs:37","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/IntSet.hs:11","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/VarSet.hs:5"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"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":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact nightly not signed: https://api.github.com/repos/agda/agda/releases/239009592","Warn: release artifact v2.8.0 not signed: https://api.github.com/repos/agda/agda/releases/230221699","Warn: release artifact v2.8.0-rc3 not signed: https://api.github.com/repos/agda/agda/releases/222293593","Warn: release artifact v2.8.0-rc2 not signed: https://api.github.com/repos/agda/agda/releases/222293216","Warn: release artifact v2.8.0-rc1 not signed: https://api.github.com/repos/agda/agda/releases/217853042","Warn: release artifact nightly does not have provenance: https://api.github.com/repos/agda/agda/releases/239009592","Warn: release artifact v2.8.0 does not have provenance: https://api.github.com/repos/agda/agda/releases/230221699","Warn: release artifact v2.8.0-rc3 does not have provenance: https://api.github.com/repos/agda/agda/releases/222293593","Warn: release artifact v2.8.0-rc2 does not have provenance: https://api.github.com/repos/agda/agda/releases/222293216","Warn: release artifact v2.8.0-rc1 does not have provenance: https://api.github.com/repos/agda/agda/releases/217853042"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Binary-Artifacts","score":9,"reason":"binaries present in source code","details":["Warn: binary detected: test/Fail/Issue2248_COMPILED_TYPE:1"],"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: third-party GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:30: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:47: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:61: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/cabal.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/cabal.yml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal.yml:78: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal.yml:110: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/delete-unused-caches.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/delete-unused-caches.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/deploy.yml:76: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/deploy.yml:82: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:110: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:155: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:177: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:180: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:254: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haddock.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddock.yml:21: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haddock.yml:36: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddock.yml:57: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/stack.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stack.yml:30: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/stack.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stack.yml:87: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stack.yml:121: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:180: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:184: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:189: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:219: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:223: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:228: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:35: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:39: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:56: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:73: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:83: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:93: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:97: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:102: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:119: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:123: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:128: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/user_manual.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/user_manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/user_manual.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/user_manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/user_manual.yml:43: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/user_manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/whitespace.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/whitespace.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/whitespace.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/whitespace.yml/master?enable=pin","Info:   0 out of  34 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of  17 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":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 28 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:15.959Z","repository_id":37431000,"created_at":"2025-08-16T16:15:15.960Z","updated_at":"2025-08-16T16:15:15.960Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273725918,"owners_count":25156822,"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":8027517,"name":"agda","ecosystem":"pypi","description":"A project that packages Agda as a Python package.","homepage":null,"licenses":"MIT License\n        \n        Copyright (c) 2023 Wen Kokke\n        \n        Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the \"Software\"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:\n        \n        The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.\n        \n        THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\n        ","normalized_licenses":["Other"],"repository_url":"https://github.com/agda/agda","keywords_array":[],"namespace":null,"versions_count":8,"first_release_published_at":"2023-08-03T20:40:08.000Z","latest_release_published_at":"2024-08-21T00:45:58.000Z","latest_release_number":"2.7.0","last_synced_at":"2025-09-01T17:49:59.811Z","created_at":"2023-08-03T20:41:42.695Z","updated_at":"2025-09-01T18:17:38.818Z","registry_url":"https://pypi.org/project/agda/","install_command":"pip install agda --index-url https://pypi.org/simple","documentation_url":"https://agda.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["License :: OSI Approved :: MIT License","Operating System :: MacOS","Operating System :: Microsoft :: Windows","Operating System :: POSIX :: Linux","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.12","Programming Language :: Python :: 3.13","Programming Language :: Python :: 3.7","Programming Language :: Python :: 3.8","Programming Language :: Python :: 3.9","Programming Language :: Python :: Implementation :: CPython"],"normalized_name":"agda","project_status":null},"repo_metadata":{"id":37431000,"uuid":"40411471","full_name":"agda/agda","owner":"agda","description":"Agda is a dependently typed programming language / interactive theorem prover.","archived":false,"fork":false,"pushed_at":"2025-09-01T15:52:12.000Z","size":155129,"stargazers_count":2698,"open_issues_count":1058,"forks_count":380,"subscribers_count":64,"default_branch":"master","last_synced_at":"2025-09-01T17:41:29.323Z","etag":null,"topics":["agda","dependent-types","programming-language","proof-assistant","type-theory"],"latest_commit_sha":null,"homepage":"https://wiki.portal.chalmers.se/agda/pmwiki.php","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-08-08T17:51:48.000Z","updated_at":"2025-09-01T15:52:15.000Z","dependencies_parsed_at":"2023-09-29T12:24:25.949Z","dependency_job_id":"ba56947d-c4f7-4ddd-96dd-29dd4aca4a33","html_url":"https://github.com/agda/agda","commit_stats":null,"previous_names":[],"tags_count":107,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/sbom","scorecard":{"id":170309,"data":{"date":"2025-08-11","repo":{"name":"github.com/agda/agda","commit":"107f4ce7e17faaa53188a599dbe952998e8070bf"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.7,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 22 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":1,"reason":"Found 2/12 approved changesets -- score normalized to 1","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":"Dangerous-Workflow","score":0,"reason":"dangerous workflow patterns detected","details":["Warn: script injection with untrusted input ' github.head_ref   ': .github/workflows/test.yml:24"],"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":"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/cabal-install.yml:1","Warn: no topLevel permission defined: .github/workflows/cabal.yml:1","Warn: no topLevel permission defined: .github/workflows/delete-unused-caches.yml:1","Warn: no topLevel permission defined: .github/workflows/deploy.yml:1","Warn: no topLevel permission defined: .github/workflows/haddock.yml:1","Warn: no topLevel permission defined: .github/workflows/stack.yml:1","Warn: no topLevel permission defined: .github/workflows/test.yml:1","Warn: no topLevel permission defined: .github/workflows/user_manual.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":"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: LICENSE: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":"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":"Fuzzing","score":10,"reason":"project is fuzzed","details":["Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:19","Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:21","Info: HaskellPropertyBasedTesting integration found: test/Internal/Interaction/Library.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Abstract/Name.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Concrete/Name.hs:14","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Coverage/SplitTree.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Free/Lazy.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Positivity/Occurrence.hs:15","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/Syntax.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/WarshallSolver.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Substitute.hs:18","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/Graph/AdjacencyMap/Unidirectional.hs:37","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/IntSet.hs:11","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/VarSet.hs:5","Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:19","Info: HaskellPropertyBasedTesting integration found: test/Internal/Helpers.hs:21","Info: HaskellPropertyBasedTesting integration found: test/Internal/Interaction/Library.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Abstract/Name.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/Syntax/Concrete/Name.hs:14","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Coverage/SplitTree.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Free/Lazy.hs:10","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Positivity/Occurrence.hs:15","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/Syntax.hs:6","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/SizedTypes/WarshallSolver.hs:9","Info: HaskellPropertyBasedTesting integration found: test/Internal/TypeChecking/Substitute.hs:18","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/Graph/AdjacencyMap/Unidirectional.hs:37","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/IntSet.hs:11","Info: HaskellPropertyBasedTesting integration found: test/Internal/Utils/VarSet.hs:5"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"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":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact nightly not signed: https://api.github.com/repos/agda/agda/releases/239009592","Warn: release artifact v2.8.0 not signed: https://api.github.com/repos/agda/agda/releases/230221699","Warn: release artifact v2.8.0-rc3 not signed: https://api.github.com/repos/agda/agda/releases/222293593","Warn: release artifact v2.8.0-rc2 not signed: https://api.github.com/repos/agda/agda/releases/222293216","Warn: release artifact v2.8.0-rc1 not signed: https://api.github.com/repos/agda/agda/releases/217853042","Warn: release artifact nightly does not have provenance: https://api.github.com/repos/agda/agda/releases/239009592","Warn: release artifact v2.8.0 does not have provenance: https://api.github.com/repos/agda/agda/releases/230221699","Warn: release artifact v2.8.0-rc3 does not have provenance: https://api.github.com/repos/agda/agda/releases/222293593","Warn: release artifact v2.8.0-rc2 does not have provenance: https://api.github.com/repos/agda/agda/releases/222293216","Warn: release artifact v2.8.0-rc1 does not have provenance: https://api.github.com/repos/agda/agda/releases/217853042"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Binary-Artifacts","score":9,"reason":"binaries present in source code","details":["Warn: binary detected: test/Fail/Issue2248_COMPILED_TYPE:1"],"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: third-party GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:30: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:47: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal-install.yml:61: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal-install.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/cabal.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/cabal.yml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal.yml:78: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/cabal.yml:110: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/cabal.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/delete-unused-caches.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/delete-unused-caches.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/deploy.yml:76: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/deploy.yml:82: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:110: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:155: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:177: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:180: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/deploy.yml:254: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/deploy.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haddock.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddock.yml:21: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haddock.yml:36: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddock.yml:57: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/haddock.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/stack.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stack.yml:30: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/stack.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stack.yml:87: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stack.yml:121: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/stack.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:180: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:184: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:189: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:219: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:223: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:228: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:35: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:39: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:56: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:73: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:83: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:93: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:97: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:102: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:119: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/test.yml:123: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/test.yml:128: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/test.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/user_manual.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/user_manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/user_manual.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/user_manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/user_manual.yml:43: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/user_manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/whitespace.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/whitespace.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/whitespace.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda/whitespace.yml/master?enable=pin","Info:   0 out of  34 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of  17 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":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 28 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:15.959Z","repository_id":37431000,"created_at":"2025-08-16T16:15:15.960Z","updated_at":"2025-08-16T16:15:15.960Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273168866,"owners_count":25057469,"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-01T02:00:09.058Z","response_time":120,"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.8.0","sha":"e828bc39f9ca7ccddf58cc3957476e6fdcc15ee6","kind":"tag","published_at":"2025-07-05T18:33:18.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.8.0","html_url":"https://github.com/agda/agda/releases/tag/v2.8.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0/manifests"},{"name":"v2.8.0-rc4","sha":"b047cfc81a61303d36871c5dc33b440895a84433","kind":"tag","published_at":"2025-07-01T17:01:45.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.8.0-rc4","html_url":"https://github.com/agda/agda/releases/tag/v2.8.0-rc4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.8.0-rc4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc4/manifests"},{"name":"v2.8.0-rc2","sha":"8ffbe5b3d9f9563306b907c96bb3dde828ca35a8","kind":"tag","published_at":"2025-06-01T18:24:19.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.8.0-rc2","html_url":"https://github.com/agda/agda/releases/tag/v2.8.0-rc2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.8.0-rc2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc2/manifests"},{"name":"v2.8.0-rc3","sha":"ef912c68fd329ad3046d156e3c1a70a7fec19ba1","kind":"tag","published_at":"2025-06-01T18:22:58.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.8.0-rc3","html_url":"https://github.com/agda/agda/releases/tag/v2.8.0-rc3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.8.0-rc3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc3/manifests"},{"name":"v2.8.0-rc1","sha":"b89aacf847af0fb3742ffb3cec47697bebe2e388","kind":"tag","published_at":"2025-05-11T20:05:38.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.8.0-rc1","html_url":"https://github.com/agda/agda/releases/tag/v2.8.0-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.8.0-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.8.0-rc1/manifests"},{"name":"2.7.0.1-release-base","sha":"2555b5de42aea018465b1c2aad8c73f5aaab989a","kind":"tag","published_at":"2024-09-12T18:22:31.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.7.0.1-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.7.0.1-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.7.0.1-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0.1-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0.1-release-base/manifests"},{"name":"v2.7.0.1","sha":"a6fc20c27ae953149b53a8997ba4a1c8b17d628a","kind":"tag","published_at":"2024-09-12T17:33:20.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.7.0.1","html_url":"https://github.com/agda/agda/releases/tag/v2.7.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.7.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0.1/manifests"},{"name":"v2.7.0","sha":"df1a26d96683ebb06aa8476e4af6bbeddf23efbe","kind":"tag","published_at":"2024-08-16T12:22:06.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.7.0","html_url":"https://github.com/agda/agda/releases/tag/v2.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0/manifests"},{"name":"2.7.0-rc1-release-base","sha":"446e646fe9bfedc42049c8952145dfff19e637f4","kind":"tag","published_at":"2024-08-16T11:54:34.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.7.0-rc1-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.7.0-rc1-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.7.0-rc1-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-rc1-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-rc1-release-base/manifests"},{"name":"v2.7.0-rc3","sha":"e19509f5dd51e9458f4b78074993a86bc9ca6158","kind":"tag","published_at":"2024-08-06T12:55:59.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.7.0-rc3","html_url":"https://github.com/agda/agda/releases/tag/v2.7.0-rc3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.7.0-rc3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0-rc3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0-rc3/manifests"},{"name":"v2.6.20240806","sha":"e19509f5dd51e9458f4b78074993a86bc9ca6158","kind":"tag","published_at":"2024-08-06T12:55:46.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.20240806","html_url":"https://github.com/agda/agda/releases/tag/v2.6.20240806","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.20240806","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.20240806","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.20240806/manifests"},{"name":"2.7.0-rc3-release-base","sha":"c03ea225057a9bd1cd5aa6098da1babcf36900f2","kind":"tag","published_at":"2024-08-06T11:28:31.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.7.0-rc3-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.7.0-rc3-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.7.0-rc3-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-rc3-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-rc3-release-base/manifests"},{"name":"v2.7.0-rc2","sha":"bb5d66b09eec0eea03233f35f4182aa66d305dc6","kind":"tag","published_at":"2024-07-31T20:53:51.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.7.0-rc2","html_url":"https://github.com/agda/agda/releases/tag/v2.7.0-rc2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.7.0-rc2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0-rc2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0-rc2/manifests"},{"name":"v2.6.20240731","sha":"bb5d66b09eec0eea03233f35f4182aa66d305dc6","kind":"tag","published_at":"2024-07-31T20:53:35.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.20240731","html_url":"https://github.com/agda/agda/releases/tag/v2.6.20240731","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.20240731","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.20240731","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.20240731/manifests"},{"name":"2.7.0-rc2-release-base","sha":"ae479ae0dcfbb7aeee0a80ea83fabf7385a587b9","kind":"tag","published_at":"2024-07-31T18:21:29.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.7.0-rc2-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.7.0-rc2-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.7.0-rc2-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-rc2-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-rc2-release-base/manifests"},{"name":"v2.7.0-rc1","sha":"18cc53941e924b144c0f1f3953280ef726009f7e","kind":"tag","published_at":"2024-07-31T14:38:39.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.7.0-rc1","html_url":"https://github.com/agda/agda/releases/tag/v2.7.0-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.7.0-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.7.0-rc1/manifests"},{"name":"v2.6.20240714","sha":"18cc53941e924b144c0f1f3953280ef726009f7e","kind":"tag","published_at":"2024-07-14T16:31:07.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.20240714","html_url":"https://github.com/agda/agda/releases/tag/v2.6.20240714","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.20240714","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.20240714","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.20240714/manifests"},{"name":"2.7.0-release-base","sha":"446e646fe9bfedc42049c8952145dfff19e637f4","kind":"tag","published_at":"2024-07-14T15:17:44.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.7.0-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.7.0-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.7.0-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.7.0-release-base/manifests"},{"name":"v2.6.4.3-r1","sha":"29999477b97e9b8d55b51702024983b74c6a543b","kind":"tag","published_at":"2024-05-19T09:49:06.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.3-r1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.3-r1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.3-r1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.3-r1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.3-r1/manifests"},{"name":"v2.6.4.3","sha":"714c7d2c76c5ffda3180e95c28669259f0dc5b5c","kind":"tag","published_at":"2024-03-06T10:11:39.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.3","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.3/manifests"},{"name":"v2.6.4.3-rc1","sha":"89d73f4122e65528aa62e5eac0ff8b9c795b059f","kind":"tag","published_at":"2024-02-28T17:10:34.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.3-rc1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.3-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.3-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.3-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.3-rc1/manifests"},{"name":"v2.6.4.2","sha":"3a3431095d74d28d36ed77f40923ee3e411b44d9","kind":"tag","published_at":"2024-02-24T09:45:32.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.2","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.2/manifests"},{"name":"v2.6.4.2-rc2","sha":"df3bacce1f8f3ea18c0be5e58519704a66c3a11e","kind":"tag","published_at":"2024-02-17T11:00:31.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.2-rc2","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.2-rc2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.2-rc2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.2-rc2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.2-rc2/manifests"},{"name":"v2.6.4.2-rc1","sha":"16884463a81331bb90d62904b886ba2df84d497b","kind":"tag","published_at":"2024-02-16T11:01:11.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.2-rc1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.2-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.2-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.2-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.2-rc1/manifests"},{"name":"2.6.4.2-release-base","sha":"f0a4b483c464574aa8207f97b458fdf2c87c25df","kind":"tag","published_at":"2024-02-08T13:35:11.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.6.4.2-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.6.4.2-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.6.4.2-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.6.4.2-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.6.4.2-release-base/manifests"},{"name":"v2.6.4.1","sha":"4293e0a94d15acac915ab9088b2ec028f78d14a9","kind":"tag","published_at":"2023-11-30T18:11:19.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1/manifests"},{"name":"v2.6.4.1-rc3","sha":"4293e0a94d15acac915ab9088b2ec028f78d14a9","kind":"tag","published_at":"2023-11-30T17:51:36.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.1-rc3","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.1-rc3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.1-rc3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1-rc3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1-rc3/manifests"},{"name":"v2.6.4.1-rc2","sha":"454a5ec5721913beadb9a6353e9c2bec7885edb3","kind":"tag","published_at":"2023-11-23T13:28:39.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.1-rc2","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.1-rc2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.1-rc2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1-rc2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1-rc2/manifests"},{"name":"v2.6.4.1-rc1","sha":"70adfed70ffe2e21b8749302dcb5889593621674","kind":"tag","published_at":"2023-11-15T16:30:25.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4.1-rc1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4.1-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4.1-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4.1-rc1/manifests"},{"name":"2.6.4.1-release-base","sha":"3ad90ad3eb6151f93785e6a051dfc7f655e2df3f","kind":"tag","published_at":"2023-11-15T14:08:19.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.6.4.1-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.6.4.1-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.6.4.1-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.6.4.1-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.6.4.1-release-base/manifests"},{"name":"v2.6.4","sha":"f42acb696e43d382639f04f869e9a99ab36a91c6","kind":"tag","published_at":"2023-10-06T12:17:35.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.4","html_url":"https://github.com/agda/agda/releases/tag/v2.6.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.4/manifests"},{"name":"2.6.4-release-base","sha":"54d74538b66a888bdadb6c3ae6d9ddf755926ad1","kind":"tag","published_at":"2023-10-05T21:13:27.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.6.4-release-base","html_url":"https://github.com/agda/agda/releases/tag/2.6.4-release-base","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.6.4-release-base","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.6.4-release-base","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.6.4-release-base/manifests"},{"name":"v2.6.3.20230930","sha":"9f84ef0ca1dd59de909bbefa930cfd68c4c2805b","kind":"tag","published_at":"2023-09-30T15:53:37.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.3.20230930","html_url":"https://github.com/agda/agda/releases/tag/v2.6.3.20230930","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.3.20230930","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3.20230930","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3.20230930/manifests"},{"name":"v2.6.3.20230914","sha":"87a4e2f654ad9d3881e1afa284ba2792bb408315","kind":"tag","published_at":"2023-09-14T06:30:43.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.3.20230914","html_url":"https://github.com/agda/agda/releases/tag/v2.6.3.20230914","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.3.20230914","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3.20230914","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3.20230914/manifests"},{"name":"v2.6.3.20230805","sha":"d4e6bf47156784efc1e74d0f0f2eeadc90a5611b","kind":"tag","published_at":"2023-08-05T21:27:07.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.3.20230805","html_url":"https://github.com/agda/agda/releases/tag/v2.6.3.20230805","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.3.20230805","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3.20230805","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3.20230805/manifests"},{"name":"v2.6.3","sha":"b499d12412bac32ab1af9f470463ed9dc54f8907","kind":"tag","published_at":"2023-01-30T11:49:29.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.3","html_url":"https://github.com/agda/agda/releases/tag/v2.6.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.3/manifests"},{"name":"v2.6.2.2.20230105","sha":"86fd6574162ef4dbcb2d06b7220a1dab195ab8e1","kind":"tag","published_at":"2023-01-06T17:23:27.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2.2.20230105","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2.2.20230105","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2.2.20230105","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2.20230105","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2.20230105/manifests"},{"name":"v2.6.2.2.20221128","sha":"b9be3265956d9a6939fa96ab63194927712ecda0","kind":"tag","published_at":"2022-11-29T22:57:58.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2.2.20221128","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2.2.20221128","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2.2.20221128","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2.20221128","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2.20221128/manifests"},{"name":"v2.6.2.2.20221106","sha":"b00db9d927d8951c44ef2e80fd4941180e9f40e7","kind":"tag","published_at":"2022-11-06T17:05:03.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2.2.20221106","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2.2.20221106","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2.2.20221106","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2.20221106","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2.20221106/manifests"},{"name":"nightly","sha":"a18ed8acee4e9dd2d2526362939a17840650c685","kind":"commit","published_at":"2022-08-15T17:44:28.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/nightly","html_url":"https://github.com/agda/agda/releases/tag/nightly","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@nightly","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/nightly","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/nightly/manifests"},{"name":"v2.6.2.2","sha":"d7063ec31cdad690fb5f6cc2b4dbff2187134d76","kind":"tag","published_at":"2022-04-02T18:01:08.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2.2","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.2/manifests"},{"name":"v2.6.2.1","sha":"7aa6e69a4482069d472dbfb3a7d0d99d8d2e0181","kind":"tag","published_at":"2021-12-08T06:44:38.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2.1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.1/manifests"},{"name":"v2.6.2.0.20211129","sha":"49f249c5bbf7b46faaad01edc04a946c00b03714","kind":"tag","published_at":"2021-11-29T21:48:16.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2.0.20211129","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2.0.20211129","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2.0.20211129","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.0.20211129","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2.0.20211129/manifests"},{"name":"v2.6.2","sha":"496322c834ebd2d621cb1286e146d2f4c289d7ab","kind":"tag","published_at":"2021-06-19T06:08:42.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.2","html_url":"https://github.com/agda/agda/releases/tag/v2.6.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.2/manifests"},{"name":"v2.6.1.3.20210605","sha":"79b664034b2b82206f1631e99aa4bccfd27cfd21","kind":"tag","published_at":"2021-06-05T20:24:35.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.1.3.20210605","html_url":"https://github.com/agda/agda/releases/tag/v2.6.1.3.20210605","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.1.3.20210605","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.3.20210605","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.3.20210605/manifests"},{"name":"v2.6.1.3.20210524","sha":"d708177fc1b0437db47ebba9c89f06ecc03a30cc","kind":"tag","published_at":"2021-05-25T15:26:34.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.1.3.20210524","html_url":"https://github.com/agda/agda/releases/tag/v2.6.1.3.20210524","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.1.3.20210524","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.3.20210524","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.3.20210524/manifests"},{"name":"v2.6.1.3","sha":"8d742389865bb457370d05f163ca98c05ec68d42","kind":"tag","published_at":"2021-02-07T15:13:20.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.1.3","html_url":"https://github.com/agda/agda/releases/tag/v2.6.1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.3/manifests"},{"name":"v2.6.1.2","sha":"01107c66ef64a132117029ee7e812e2f56837d0e","kind":"tag","published_at":"2021-01-16T08:04:07.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.1.2","html_url":"https://github.com/agda/agda/releases/tag/v2.6.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.2/manifests"},{"name":"v2.6.1.1","sha":"fce01db8f9d2ceb9c3a4aa179330ea4aa7587a71","kind":"commit","published_at":"2020-09-07T18:49:34.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.1.1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1.1/manifests"},{"name":"v2.6.1","sha":"a317b50d5b333ad1bd25a56f4049a298996e0970","kind":"tag","published_at":"2020-03-16T05:03:57.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.1/manifests"},{"name":"v2.6.0.1.20200307","sha":"f3dbea3fc0843c3f2e0523a0fd966cb6722dae42","kind":"tag","published_at":"2020-03-07T23:17:51.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.0.1.20200307","html_url":"https://github.com/agda/agda/releases/tag/v2.6.0.1.20200307","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.0.1.20200307","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0.1.20200307","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0.1.20200307/manifests"},{"name":"v2.6.0.1.20191219","sha":"a006cafd1a3464d12d5d17cec771a5997890b5c8","kind":"tag","published_at":"2019-12-20T22:28:10.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.0.1.20191219","html_url":"https://github.com/agda/agda/releases/tag/v2.6.0.1.20191219","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.0.1.20191219","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0.1.20191219","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0.1.20191219/manifests"},{"name":"v2.6.0.1","sha":"093fb0dc35b3451d70ed1547ec1a08211e9d25b1","kind":"tag","published_at":"2019-05-14T00:18:22.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.0.1","html_url":"https://github.com/agda/agda/releases/tag/v2.6.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0.1/manifests"},{"name":"v2.6.0","sha":"2580c16ee6cba7a2644e3a3d991eed51813a55dc","kind":"tag","published_at":"2019-04-12T03:59:05.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.6.0","html_url":"https://github.com/agda/agda/releases/tag/v2.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.6.0/manifests"},{"name":"v2.5.4.2.20190330","sha":"d4e77f438c703b7d561c50d311466165b2e0ee74","kind":"tag","published_at":"2019-03-31T16:47:27.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.2.20190330","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.2.20190330","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.2.20190330","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190330","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190330/manifests"},{"name":"v2.5.4.2.20190310","sha":"27a6c52d98b7c35e24c211611a5349d162a0ea89","kind":"tag","published_at":"2019-03-11T03:02:32.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.2.20190310","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.2.20190310","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.2.20190310","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190310","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190310/manifests"},{"name":"v2.5.4.2.20190217","sha":"0d2f60e24e48fdf55df62368fdf7837fe7e0204e","kind":"tag","published_at":"2019-02-17T15:52:54.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.2.20190217","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.2.20190217","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.2.20190217","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190217","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190217/manifests"},{"name":"v2.5.4.2.20190111","sha":"503907471d884b36364d7716222c165d4cfa7932","kind":"tag","published_at":"2019-01-15T17:17:31.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.2.20190111","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.2.20190111","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.2.20190111","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190111","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2.20190111/manifests"},{"name":"v2.5.4.2","sha":"17911e15aa76bf3b0b42fd87d9218670acf53693","kind":"tag","published_at":"2018-10-29T16:56:44.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.2","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.2/manifests"},{"name":"v2.5.4.1.20181027","sha":"17ccc8d433ebe9c77be3bad02a906910e19ade0f","kind":"tag","published_at":"2018-10-27T04:38:13.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.1.20181027","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.1.20181027","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.1.20181027","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.1.20181027","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.1.20181027/manifests"},{"name":"v2.5.4.1.20181026","sha":"92eb177dec48f2601628cdf323096b114f6dbb94","kind":"tag","published_at":"2018-10-26T21:31:53.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.1.20181026","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.1.20181026","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.1.20181026","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.1.20181026","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.1.20181026/manifests"},{"name":"v2.5.4.1","sha":"6d95da403dfcbecfa2e943ed73bb110c758235ae","kind":"tag","published_at":"2018-07-19T14:06:54.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4.1","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4.1/manifests"},{"name":"v2.5.4","sha":"2710aed046f81058a253846ab0095ca579ed7b32","kind":"tag","published_at":"2018-06-02T19:14:37.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.4","html_url":"https://github.com/agda/agda/releases/tag/v2.5.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.4/manifests"},{"name":"v2.5.3.20180526","sha":"b6c20edcc72bd825907c242eadd4a5facb6ec988","kind":"tag","published_at":"2018-05-26T04:51:46.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.3.20180526","html_url":"https://github.com/agda/agda/releases/tag/v2.5.3.20180526","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.3.20180526","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.3.20180526","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.3.20180526/manifests"},{"name":"v2.5.3.20180519","sha":"1e3b3ec0e1d53a20351be1f67bbcf9283cbe112c","kind":"tag","published_at":"2018-05-19T16:53:44.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.3.20180519","html_url":"https://github.com/agda/agda/releases/tag/v2.5.3.20180519","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.3.20180519","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.3.20180519","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.3.20180519/manifests"},{"name":"v2.5.3","sha":"ee448d0eba1d82fd0bdefae438491c92bfee8508","kind":"tag","published_at":"2017-09-08T22:25:20.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.3","html_url":"https://github.com/agda/agda/releases/tag/v2.5.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.3/manifests"},{"name":"v2.5.2.20170816","sha":"33618ce205b9b744573eeec6901600150daab16c","kind":"tag","published_at":"2017-08-17T07:59:16.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.2.20170816","html_url":"https://github.com/agda/agda/releases/tag/v2.5.2.20170816","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.2.20170816","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.2.20170816","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.2.20170816/manifests"},{"name":"v2.5.2","sha":"9cf8b842b68a69753755433ef48dfdd47a93c762","kind":"tag","published_at":"2016-12-22T12:38:24.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.2","html_url":"https://github.com/agda/agda/releases/tag/v2.5.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.2/manifests"},{"name":"v2.5.1.2.20161216","sha":"5df651df2f769f930806d9203657636a1d2f221e","kind":"tag","published_at":"2016-12-17T14:24:37.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.1.2.20161216","html_url":"https://github.com/agda/agda/releases/tag/v2.5.1.2.20161216","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.1.2.20161216","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.1.2.20161216","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.1.2.20161216/manifests"},{"name":"v2.5.1.2","sha":"3f3ebad3dc61a29459255a8e6e1741596b699062","kind":"commit","published_at":"2016-11-25T07:40:07.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.1.2","html_url":"https://github.com/agda/agda/releases/tag/v2.5.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.1.2/manifests"},{"name":"v2.5.1.1","sha":"bf15d660c7d407697f774c8e5a3c739855436888","kind":"tag","published_at":"2016-06-21T14:50:45.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/v2.5.1.1","html_url":"https://github.com/agda/agda/releases/tag/v2.5.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@v2.5.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/v2.5.1.1/manifests"},{"name":"2.5.1.1-rc1","sha":"78147a8dfdf2fa53d2c83fdca3adede561429fb2","kind":"tag","published_at":"2016-06-15T14:23:46.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.5.1.1-rc1","html_url":"https://github.com/agda/agda/releases/tag/2.5.1.1-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.5.1.1-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.1.1-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.1.1-rc1/manifests"},{"name":"2.5.1","sha":"8e35910e0b3fa73f87c45f9626df62a1cac45ff7","kind":"tag","published_at":"2016-04-16T15:57:01.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.5.1","html_url":"https://github.com/agda/agda/releases/tag/2.5.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.5.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.1/manifests"},{"name":"2.5.0.20160412","sha":"6fd8bdff5cda711ca31e4aa392271a6b5009a58d","kind":"tag","published_at":"2016-04-13T10:16:41.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.5.0.20160412","html_url":"https://github.com/agda/agda/releases/tag/2.5.0.20160412","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.5.0.20160412","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.0.20160412","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.0.20160412/manifests"},{"name":"2.5.0.20160213","sha":"35d037c2d877f6899de6abdeb3300f65849cdbac","kind":"tag","published_at":"2016-02-13T16:24:52.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.5.0.20160213","html_url":"https://github.com/agda/agda/releases/tag/2.5.0.20160213","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.5.0.20160213","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.0.20160213","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.5.0.20160213/manifests"},{"name":"2.4.2.5","sha":"3ca002a3827b7b28a5443ea706680c48dc8e193f","kind":"tag","published_at":"2015-12-18T22:00:08.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.5","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.5/manifests"},{"name":"2.4.2.4.20151210","sha":"de32e203a157116603e95a6434bd1b88a6d15f1f","kind":"tag","published_at":"2015-12-13T13:33:33.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.4.20151210","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.4.20151210","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.4.20151210","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.4.20151210","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.4.20151210/manifests"},{"name":"2.4.2.3.20150913","sha":"bb563d9ecfd68ee5fc8a828f8c81098009c719c7","kind":"tag","published_at":"2015-10-14T19:47:21.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.3.20150913","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.3.20150913","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.3.20150913","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.3.20150913","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.3.20150913/manifests"},{"name":"2.4.2.4","sha":"4dfb0a57e2b43948c02455915b66b9dac29ac034","kind":"tag","published_at":"2015-10-14T13:39:44.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.4","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.4/manifests"},{"name":"2.4.2.3","sha":"5add26581d50003485442fce4106d5f2a41e05be","kind":"tag","published_at":"2015-05-25T16:30:24.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.3","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.3/manifests"},{"name":"2.4.2.2.20150518","sha":"9bcf47be0b98dff2d161e24dc58c4aaace0f5d6e","kind":"tag","published_at":"2015-05-19T03:14:24.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.2.20150518","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.2.20150518","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.2.20150518","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.2.20150518","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.2.20150518/manifests"},{"name":"2.4.2.2","sha":"e844a9472f0dd8683d7193aea1ddc4266d6b7b96","kind":"tag","published_at":"2014-11-26T04:15:11.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.2","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.2/manifests"},{"name":"2.4.2.1","sha":"c4898301349753b483ac6cd20701de89a96349f3","kind":"tag","published_at":"2014-11-13T23:40:21.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2.1","html_url":"https://github.com/agda/agda/releases/tag/2.4.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2.1/manifests"},{"name":"uhc-backend-exp-final-version","sha":"112f7d34dbf0dc6d60a0bab8be6a92ca24c01da4","kind":"commit","published_at":"2014-09-30T18:39:07.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/uhc-backend-exp-final-version","html_url":"https://github.com/agda/agda/releases/tag/uhc-backend-exp-final-version","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@uhc-backend-exp-final-version","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/uhc-backend-exp-final-version","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/uhc-backend-exp-final-version/manifests"},{"name":"2.4.2","sha":"430d4c97d121af058dc7a4fc02612bd8f69081de","kind":"commit","published_at":"2014-08-29T07:50:23.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.2","html_url":"https://github.com/agda/agda/releases/tag/2.4.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.2/manifests"},{"name":"2.4.0.2","sha":"5cb89a5512b67e1b471ea42edfd8e0580609b492","kind":"tag","published_at":"2014-07-29T18:46:02.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.0.2","html_url":"https://github.com/agda/agda/releases/tag/2.4.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.0.2/manifests"},{"name":"2.4.0.1","sha":"4324c7d420b761eac0a1c8d9cfafd40b4f7bdf36","kind":"commit","published_at":"2014-06-16T09:28:40.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2.4.0.1","html_url":"https://github.com/agda/agda/releases/tag/2.4.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2.4.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2.4.0.1/manifests"},{"name":"2_4_0","sha":"b522ad80858685094ff50f31bd03a78f82f15221","kind":"tag","published_at":"2014-06-05T08:32:17.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_4_0","html_url":"https://github.com/agda/agda/releases/tag/2_4_0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_4_0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_4_0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_4_0/manifests"},{"name":"2_3_2_2","sha":"58273ac9a07b9b2117385ccd6ae74349e249eab6","kind":"tag","published_at":"2013-09-27T19:59:45.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_3_2_2","html_url":"https://github.com/agda/agda/releases/tag/2_3_2_2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_3_2_2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_2_2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_2_2/manifests"},{"name":"2_3_2_1","sha":"61f526e919199a9661ab863a0ba1a74ae17e9947","kind":"tag","published_at":"2013-06-04T16:19:20.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_3_2_1","html_url":"https://github.com/agda/agda/releases/tag/2_3_2_1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_3_2_1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_2_1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_2_1/manifests"},{"name":"2_3_2","sha":"6297c5bd66127d8a11b97863cb3bde60c1a188f8","kind":"tag","published_at":"2012-11-12T00:24:55.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_3_2","html_url":"https://github.com/agda/agda/releases/tag/2_3_2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_3_2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_2/manifests"},{"name":"2_3_0","sha":"06a8b4e6d2d24b0ba288704aec0e5f119d20d062","kind":"tag","published_at":"2011-11-23T08:24:05.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_3_0","html_url":"https://github.com/agda/agda/releases/tag/2_3_0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_3_0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_3_0/manifests"},{"name":"Agda-ncia-merge","sha":"b3859ebeff043fcca02ba51aa95fa44ca99491c3","kind":"tag","published_at":"2011-04-13T09:04:58.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/Agda-ncia-merge","html_url":"https://github.com/agda/agda/releases/tag/Agda-ncia-merge","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@Agda-ncia-merge","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/Agda-ncia-merge","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/Agda-ncia-merge/manifests"},{"name":"Agda-ncia","sha":"b1e7e37befee744aa6549c05b3df7e6de6b7ca5e","kind":"tag","published_at":"2011-03-23T20:51:26.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/Agda-ncia","html_url":"https://github.com/agda/agda/releases/tag/Agda-ncia","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@Agda-ncia","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/Agda-ncia","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/Agda-ncia/manifests"},{"name":"2_2_10","sha":"e997eb945bd0025e689145769cef49374c14d23b","kind":"tag","published_at":"2011-02-20T15:41:09.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_2_10","html_url":"https://github.com/agda/agda/releases/tag/2_2_10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_2_10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_10/manifests"},{"name":"2_2_8","sha":"b798002fce09a2b6994cd151e49b10b3afe5d5d2","kind":"tag","published_at":"2010-09-27T16:29:25.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_2_8","html_url":"https://github.com/agda/agda/releases/tag/2_2_8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_2_8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_8/manifests"},{"name":"2_2_6","sha":"1ed54cc930a3c465e6f1d6127d980b21f7db9201","kind":"tag","published_at":"2009-12-23T15:39:37.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_2_6","html_url":"https://github.com/agda/agda/releases/tag/2_2_6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_2_6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_6/manifests"},{"name":"2_2_4","sha":"4a4d6d13f1d789139b97018f09cfdb5692ed5876","kind":"tag","published_at":"2009-07-07T16:47:54.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_2_4","html_url":"https://github.com/agda/agda/releases/tag/2_2_4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_2_4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_4/manifests"},{"name":"2_2_2","sha":"f4743cc4e935c5ad0feffb8fa69c1b291d24b6a3","kind":"tag","published_at":"2009-04-16T21:40:29.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_2_2","html_url":"https://github.com/agda/agda/releases/tag/2_2_2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_2_2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_2/manifests"},{"name":"AFP08-2","sha":"e01579c411fc911d6888c18328a19a5d3c639945","kind":"tag","published_at":"2009-04-16T19:12:45.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/AFP08-2","html_url":"https://github.com/agda/agda/releases/tag/AFP08-2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@AFP08-2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/AFP08-2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/AFP08-2/manifests"},{"name":"2_2_0","sha":"9529d3637d8be8895a2c245ac47ea109bd8f5978","kind":"tag","published_at":"2009-03-17T16:37:25.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_2_0","html_url":"https://github.com/agda/agda/releases/tag/2_2_0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_2_0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_2_0/manifests"},{"name":"afp08","sha":"6074ddf717f847b547e50df46951932a7ecb1b32","kind":"tag","published_at":"2008-05-15T11:51:43.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/afp08","html_url":"https://github.com/agda/agda/releases/tag/afp08","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@afp08","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/afp08","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/afp08/manifests"},{"name":"2_1_2","sha":"7b9d40a9f4d8bf18050faf4ca1131edcd2afd090","kind":"tag","published_at":"2007-08-16T14:51:25.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_1_2","html_url":"https://github.com/agda/agda/releases/tag/2_1_2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_1_2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_1_2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_1_2/manifests"},{"name":"2_1_0","sha":"07bb7b6e0dcddf33ae7579a1bbbff4f53e57001e","kind":"tag","published_at":"2007-07-13T22:35:06.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_1_0","html_url":"https://github.com/agda/agda/releases/tag/2_1_0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_1_0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_1_0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_1_0/manifests"},{"name":"2_0_1","sha":"3def69d83a27ee9691119e9bd187b1d913467b02","kind":"tag","published_at":"2007-07-06T12:12:49.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_0_1","html_url":"https://github.com/agda/agda/releases/tag/2_0_1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_0_1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_0_1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_0_1/manifests"},{"name":"2_0_0","sha":"16ef08dc405788d1ca16136e77823a58afba2b78","kind":"tag","published_at":"2007-06-04T13:58:15.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/2_0_0","html_url":"https://github.com/agda/agda/releases/tag/2_0_0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@2_0_0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_0_0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/2_0_0/manifests"},{"name":"AIM6","sha":"e339f2ee451cccb85f4a9a669b56640824e5146d","kind":"tag","published_at":"2007-05-23T16:16:03.000Z","download_url":"https://codeload.github.com/agda/agda/tar.gz/AIM6","html_url":"https://github.com/agda/agda/releases/tag/AIM6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda@AIM6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/AIM6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/tags/AIM6/manifests"}]},"repo_metadata_updated_at":"2025-09-01T18:17:38.818Z","dependent_packages_count":0,"downloads":1684,"downloads_period":"last-month","dependent_repos_count":1,"rankings":{"downloads":13.571905461343302,"dependent_repos_count":21.607168748712237,"dependent_packages_count":10.102944879846767,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":15.09400636330077},"purl":"pkg:pypi/agda","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/agda","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/agda","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/agda/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-09-01T16:04:25.314Z","issues_count":621,"pull_requests_count":651,"avg_time_to_close_issue":19758363.494708996,"avg_time_to_close_pull_request":4887210.757575758,"issues_closed_count":378,"pull_requests_closed_count":528,"pull_request_authors_count":52,"issue_authors_count":126,"avg_comments_per_issue":3.3349436392914655,"avg_comments_per_pull_request":1.4792626728110598,"merged_pull_requests_count":476,"bot_issues_count":0,"bot_pull_requests_count":7,"past_year_issues_count":247,"past_year_pull_requests_count":452,"past_year_avg_time_to_close_issue":1821407.3985507246,"past_year_avg_time_to_close_pull_request":362028.4142480211,"past_year_issues_closed_count":138,"past_year_pull_requests_closed_count":379,"past_year_pull_request_authors_count":24,"past_year_issue_authors_count":75,"past_year_avg_comments_per_issue":1.9271255060728745,"past_year_avg_comments_per_pull_request":1.2013274336283186,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":1,"past_year_merged_pull_requests_count":364,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/issues","maintainers":[{"login":"andreasabel","count":482,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"plt-amy","count":79,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"UlfNorell","count":56,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/UlfNorell"},{"login":"jespercockx","count":53,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"ncfavier","count":31,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"szumixie","count":20,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/szumixie"},{"login":"gallais","count":15,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"L-TChen","count":12,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/L-TChen"},{"login":"ice1000","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ice1000"},{"login":"oskeri","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/oskeri"},{"login":"asr","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/asr"},{"login":"banacorn","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/banacorn"},{"login":"WolframKahl","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/WolframKahl"},{"login":"mortberg","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mortberg"}],"active_maintainers":[{"login":"andreasabel","count":336,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"plt-amy","count":56,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"jespercockx","count":30,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"UlfNorell","count":23,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/UlfNorell"},{"login":"szumixie","count":20,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/szumixie"},{"login":"ncfavier","count":18,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"gallais","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"L-TChen","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/L-TChen"},{"login":"mortberg","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mortberg"},{"login":"oskeri","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/oskeri"},{"login":"ice1000","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ice1000"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda/related_packages","maintainers":[{"uuid":"wenkokke","login":"wenkokke","name":null,"email":null,"url":null,"packages_count":10,"html_url":"https://pypi.org/user/wenkokke/","role":null,"created_at":"2023-08-03T20:41:43.528Z","updated_at":"2023-08-03T20:41:43.528Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/wenkokke/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":725017,"maintainers_count":308331,"namespaces_count":0,"keywords_count":238006,"github":"pypi","metadata":{"funded_packages_count":50519},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-05T05:40:58.860Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}}],"commits":{"id":1778966,"full_name":"agda/agda","default_branch":"master","committers":[{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":6012},{"name":"Ulf Norell","email":"ulfn@chalmers.se","login":"UlfNorell","count":4433},{"name":"Nils Anders Danielsson","email":"nad@cse.gu.se","login":"nad","count":2382},{"name":"Andrés Sicard-Ramírez","email":"asr@eafit.edu.co","login":"asr","count":2160},{"name":"Jesper Cockx","email":"jesper.cockx@cs.kuleuven.be","login":"jespercockx","count":1550},{"name":"Andrea Vezzosi","email":"sanzhiyan@gmail.com","login":"Saizan","count":546},{"name":"Philipp Hausmann","email":"ph_git@314.ch","login":"phile314","count":388},{"name":"Robert Estelle","email":"robertestelle@gmail.com","login":"rwe","count":380},{"name":"Guillaume Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":298},{"name":"Liang-Ting Chen","email":"liang.ting.chen.tw@gmail.com","login":"L-TChen","count":211},{"name":"Francesco Mazzoli","email":"f@mazzo.li","login":"bitonic","count":129},{"name":"Amélia Liao","email":"me@amelia.how","login":"plt-amy","count":117},{"name":"Fredrik Nordvall Forsberg","email":"csfnf@swansea.ac.uk","login":"fredrikNordvallForsberg","count":115},{"name":"Tesla Ice Zhang","email":"ice1000kotlin@foxmail.com","login":"ice1000","count":80},{"name":"Dominique Devriese","email":"dominique.devriese@cs.kuleuven.be","login":"dominiquedevriese","count":77},{"name":"Péter Diviánszky","email":"divipp@gmail.com","login":null,"count":75},{"name":"Víctor López Juan","email":"victor@lopezjuan.com","login":"vlopezj","count":66},{"name":"Herminie Pagel","email":"nlp@fairbill.com","login":"pnlph","count":44},{"name":"James Chapman","email":"james.chapman@iohk.io","login":"jmchapman","count":44},{"name":"Alex Haršáni","email":"alex.harsani@gmail.com","login":"AlexHarsani","count":42},{"name":"Phil de Joux","email":"philderbeast@gmail.com","login":"philderbeast","count":39},{"name":"Arthur Adjedj","email":"arthur.adjedj@gmail.com","login":"arthur-adjedj","count":34},{"name":"Stevan Andjelkovic","email":"stevan.andjelkovic@strath.ac.uk","login":"stevana","count":32},{"name":"Nicolas Pouillard","email":"nicolas.pouillard@gmail.com","login":"np","count":31},{"name":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","login":"Blaisorblade","count":30},{"name":"Szumi Xie","email":"szumixie@gmail.com","login":"szumixie","count":28},{"name":"Daniel Gustafsson","email":"daniel.gustafsson@gmail.com","login":"Danten","count":25},{"name":"Kuen-Bang Hou (Favonia)","email":"favonia@gmail.com","login":"favonia","count":24},{"name":"Alan Jeffrey","email":"ajeffrey@bell-labs.com","login":null,"count":23},{"name":"Naïm Favier","email":"n@monade.li","login":"ncfavier","count":23},{"name":"Josselin Poiret","email":"dev@jpoiret.xyz","login":"jpoiret","count":23},{"name":"Makoto Takeyama","email":"makoto.takeyama@aist.go.jp","login":null,"count":22},{"name":"Matthew Daggitt","email":"matthewdaggitt@gmail.com","login":"MatthewDaggitt","count":21},{"name":"LUA Ting-Gan","email":"banacorn@gmail.com","login":"banacorn","count":21},{"name":"Lawrence Chonavel","email":"95857153+lawcho","login":"lawcho","count":20},{"name":"Christian Sattler","email":"sattler.christian@gmail.com","login":"sattlerc","count":20},{"name":"Jean-Philippe Bernardy","email":"jeanphilippe.bernardy@gmail.com","login":"jyp","count":19},{"name":"Fredrik Lindblad","email":"frelindb@chalmers.se","login":null,"count":18},{"name":"Guillaume Brunerie","email":"guillaume.brunerie@gmail.com","login":"guillaumebrunerie","count":18},{"name":"Nobuo Yamashita","email":"nobuo-yamashita@aist.go.jp","login":null,"count":17},{"name":"Artem Shinkarov","email":"artyom.shinkaroff@gmail.com","login":"ashinkarov","count":16},{"name":"Jonathan Coates","email":"git@squiddev.cc","login":"SquidDev","count":16},{"name":"Marko Dimjašević","email":"marko@dimjasevic.net","login":"mdimjasevic","count":15},{"name":"András Kovács","email":"puttamalac@gmail.com","login":"AndrasKovacs","count":15},{"name":"Guilhem Moulin","email":"guilhem.moulin@chalmers.se","login":null,"count":15},{"name":"Lucas Escot","email":"lucas@escot.me","login":"flupe","count":14},{"name":"Patrik Jansson","email":"patrikj@chalmers.se","login":"patrikja","count":13},{"name":"Wolfram Kahl","email":"kahl@cas.mcmaster.ca","login":"WolframKahl","count":13},{"name":"Stefan Monnier","email":"monnier@iro.umontreal.ca","login":"monnier","count":12},{"name":"Ziyang Liu","email":"free@cofree.io","login":"zliu41","count":12},{"name":"Thomas Lopatic","email":"thomas@lopatic.de","login":"uncle-betty","count":11},{"name":"Konstantin Nisht","email":"konstantin.nisht@jetbrains.com","login":"knisht","count":10},{"name":"Wen Kokke","email":"wen.kokke@gmail.com","login":"wenkokke","count":10},{"name":"John Leo","email":"leo@halfaya.org","login":"halfaya","count":9},{"name":"Ed Nutting","email":"ed@beyondrisc.com","login":null,"count":9},{"name":"Michael Shulman","email":"shulman@sandiego.edu","login":"mikeshulman","count":8},{"name":"Marcin Benke","email":"marcin.benke@gmail.com","login":"mbenke","count":8},{"name":"Chris Moline","email":"blackredtree@gmail.com","login":"AirMover","count":8},{"name":"Ryan Scott","email":"ryan.gl.scott@ku.edu","login":null,"count":7},{"name":"Olle Fredriksson","email":"fredriksson.olle@gmail.com","login":"ollef","count":7},{"name":"Andre Knispel","email":"andre.knispel@gmx.de","login":"WhatisRT","count":7},{"name":"Andreas Nuyts","email":"andreas.nuyts@kuleuven.be","login":"anuyts","count":6},{"name":"Darin Morrison","email":"dwm@cs.nott.ac.uk","login":"silvanshade","count":6},{"name":"Jacques Carette","email":"carette@mcmaster.ca","login":"JacquesCarette","count":6},{"name":"Kyle Raftogianis","email":"knrafto@gmail.com","login":"knrafto","count":6},{"name":"caryoscelus","email":"caryoscelus@gmx.com","login":"caryoscelus","count":6},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":6},{"name":"Adam Sandberg Eriksson","email":"adam@sandbergericsson.se","login":"adamse","count":5},{"name":"Anders Mörtberg","email":"andersmortberg@gmail.com","login":"mortberg","count":5},{"name":"Fabian Ruch","email":"bafain@gmail.com","login":"bafain","count":5},{"name":"Jappie Klooster","email":"jappieklooster@hotmail.com","login":"jappeace","count":5},{"name":"Martin Fredin","email":"fredin.martin@gmail.com","login":"fredins","count":5},{"name":"Matt Superdock","email":"msuperdock@gmail.com","login":"msuperdock","count":5},{"name":"Viktor Lin","email":"hi@viktorl.in","login":"Zekt","count":5},{"name":"pavenvivek","email":"paventh.v@gmail.com","login":null,"count":5},{"name":"João Paulo Pizani Flor","email":"joaopizani@gmail.com","login":null,"count":4},{"name":"jrp2014","email":"jrp2014","login":"jrp2014","count":4},{"name":"cmcmA20","email":"cmcmA20@pm.me","login":"invalid-email-address","count":4},{"name":"Wouter Swierstra","email":"w.s.swierstra@uu.nl","login":"wouter-swierstra","count":4},{"name":"Sergei Trofimovich","email":"slyfox@community.haskell.org","login":"trofi","count":4},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","login":"omelkonian","count":4},{"name":"Oleg Grenrus","email":"oleg.grenrus@iki.fi","login":"phadej","count":4},{"name":"Nikita Karetnikov","email":"nikita@karetnikov.org","login":"nkaretnikov","count":4},{"name":"Nick Smallbone","email":"nick.smallbone@gmail.com","login":"nick8325","count":4},{"name":"Gregory Gerasev","email":"uhbif19@gmail.com","login":"uhbif19","count":4},{"name":"Charles Ruhland","email":"cruhland@alumni.cmu.edu","login":"cruhland","count":3},{"name":"Calvin Lee","email":"calvins.lee@utah.edu","login":"4e554c4c","count":3},{"name":"Wojciech Jedynak","email":"wjedynak@gmail.com","login":"wjzz","count":3},{"name":"Felix Cherubini","email":"felix.cherubini@posteo.de","login":"felixwellen","count":3},{"name":"Gabor Greif","email":"ggreif@gmail.com","login":"ggreif","count":3},{"name":"Ingo Blechschmidt","email":"iblech@speicherleck.de","login":"iblech","count":3},{"name":"Piotr Paradziński","email":"adres.mistrza@gmail.com","login":"lemastero","count":3},{"name":"Vlad Semenov","email":"semenov.vlad.by@gmail.com","login":"semenov-vladyslav","count":3},{"name":"Thorsten Altenkirch","email":"txa@cs.nott.ac.uk","login":"txa","count":3},{"name":"Sandy Maguire","email":"sandy@sandymaguire.me","login":"isovector","count":3},{"name":"MJG","email":"marcinjangrzybowski@gmail.com","login":"marcinjangrzybowski","count":3},{"name":"Alexander Altman","email":"alexanderaltman@me.com","login":"pthariensflame","count":3},{"name":"Liyang HU","email":"unknown","login":null,"count":3},{"name":"n-kato","email":"n-kato@aist.go.jp","login":null,"count":3},{"name":"Emily Horsman","email":"me@emilyhorsman.com","login":"emilyhorsman","count":2},{"name":"David Leon Gil","email":"coruus@gmail.com","login":"coruus","count":2},{"name":"Chris Rayner","email":"riscy","login":"riscy","count":2},{"name":"Bohdan Liesnikov","email":"b.liesnikov+git@gmail.com","login":"liesnikov","count":2},{"name":"Arjen Rouvoet","email":"a.j.rouvoet@gmail.com","login":"ajrouvoet","count":2},{"name":"ibbem","email":"ibbem@ibbem.net","login":"ibbem","count":2},{"name":"Zack Grannan","email":"zgrannan@gmail.com","login":"zgrannan","count":2},{"name":"Uma Zalakain","email":"ping@umazalakain.info","login":"umazalakain","count":2},{"name":"Alexandre Buisse","email":"buisse@cs.chalmers.se","login":null,"count":2},{"name":"Pavel Turyansky","email":"pavel.turyansky@kaspersky.com","login":null,"count":2},{"name":"Carlos Tomé","email":"carlostome1990@gmail.com","login":null,"count":2},{"name":"Dan Rosén","email":"danr@fripost.org","login":null,"count":2},{"name":"Dirk Ullrich","email":"dirk.ullrich@gmail.com","login":null,"count":2},{"name":"Evgenii Akentev","email":"i@ak3n.com","login":null,"count":2},{"name":"Mason Stewart","email":"mason@theironyard.com","login":null,"count":2},{"name":"Kasper Brink","email":"kjbrink@students.cs.uu.nl","login":null,"count":2},{"name":"Felix Yan","email":"felixonmars@archlinux.org","login":"felixonmars","count":2},{"name":"Frederik Hanghøj Iversen","email":"fhi.1990@gmail.com","login":"fredefox","count":2},{"name":"Mario Carneiro","email":"di.gama@gmail.com","login":"digama0","count":2},{"name":"M Farkas-Dyck","email":"strake888@gmail.com","login":"strake","count":2},{"name":"Jonathan Sterling","email":"jon@jonmsterling.com","login":"jonsterling","count":2},{"name":"Jens Petersen","email":"juhpetersen@gmail.com","login":"juhp","count":2},{"name":"Jason Dagit","email":"dagitj@gmail.com","login":"dagit","count":2},{"name":"Ilya Yanok","email":"ilya.yanok@gmail.com","login":"yanok","count":2},{"name":"Holger Borum","email":"holger.stadel.borum@gmail.com","login":"hborum","count":2},{"name":"Fredrik Bakke","email":"fredrbak@gmail.com","login":"fredrik-bakke","count":2},{"name":"Steven Keuchel","email":"steven.keuchel@gmail.com","login":"skeuchel","count":2},{"name":"Shea Levy","email":"shea@shealevy.com","login":"shlevy","count":2},{"name":"Scott Fleischman","email":"scott.fleischman@logos.com","login":"scott-fleischman","count":2},{"name":"Maštarija","email":"master@mastarija.com","login":"mastarija","count":2},{"name":"Miikka Koskinen","email":"miikka.koskinen@iki.fi","login":"miikka","count":2},{"name":"Miëtek Bak","email":"mietek@bak.io","login":"mietek","count":2},{"name":"Oskar Eriksson","email":"98822866+oskeri","login":"oskeri","count":2},{"name":"Panagiotis Koutsourakis","email":"kutsurak@monetdbsolutions.com","login":"kutsurak","count":2},{"name":"Riccardo","email":"riki.brero@gmail.com","login":"Riki1312","count":2},{"name":"Samuel Bronson","email":"naesten@gmail.com","login":"SamB","count":2},{"name":"Moisés Ackerman","email":"6054733+akrmn","login":"akrmn","count":1},{"name":"Milo Turner","email":"iitalics@gmail.com","login":"iitalics","count":1},{"name":"Janek Spaderna","email":"janek@spaderna.eu","login":"JaSpa","count":1},{"name":"Chen Zhaoyang","email":"zc23@illinois.edu","login":"chenzhawyang","count":1},{"name":"Chu","email":"maedaqu@gmail.com","login":"chu-mirror","count":1},{"name":"Daniel Peebles","email":"pumpkingod@gmail.com","login":"copumpkin","count":1},{"name":"Daniil Kisel","email":"56605335+KislyjKisel","login":"KislyjKisel","count":1},{"name":"Duncan Coutts","email":"duncan@haskell.org","login":"dcoutts","count":1},{"name":"Dylan Ede","email":"dylanede@googlemail.com","login":"dylanede","count":1},{"name":"Patrick Palka","email":"patrick@parcs.ath.cx","login":null,"count":1},{"name":"Sean Gloumeau","email":"sean.gloumeau@devfactory.com","login":null,"count":1},{"name":"Lu, Kuang-Chen","email":"kl13@iu.edu","login":null,"count":1},{"name":"nobody","email":"nobody@86b02449-c53c-0410-81b4-87051234213d","login":null,"count":1},{"name":"ial","email":"ial@cs.nott.ac.uk","login":null,"count":1},{"name":"Nate","email":"so8res@gmail.com","login":"Soares","count":1},{"name":"Nikita Belyakov","email":"pot_pourri@mail.ru","login":"Potpourri","count":1},{"name":"Noam Zeilberger","email":"noam.zeilberger@gmail.com","login":"noamz","count":1},{"name":"Pedro Abreu","email":"abreu223@gmail.com","login":"pedrotst","count":1},{"name":"Peter Selinger","email":"selinger@mathstat.dal.ca","login":"selinger","count":1},{"name":"Philip","email":"philipk@posteo.net","login":"phikal","count":1},{"name":"Prabhakar Ragde","email":"plragde@uwaterloo.ca","login":"plragde","count":1},{"name":"Rodrigo Mesquita","email":"rodrigo.m.mesquita@gmail.com","login":"alt-romes","count":1},{"name":"Ryan Hendrickson","email":"ryan.hendrickson@alum.mit.edu","login":"rhendric","count":1},{"name":"Samuel Gélineau","email":"gelisam@gmail.com","login":"gelisam","count":1},{"name":"Michael Coblenz","email":"mcoblenz","login":"mcoblenz","count":1},{"name":"Max S. New","email":"maxsnew@gmail.com","login":"maxsnew","count":1},{"name":"Matthias Hutzler","email":"matthias-hutzler@posteo.net","login":"MatthiasHu","count":1},{"name":"scholablade","email":"36211279+scholablade","login":"scholablade","count":1},{"name":"ray851107","email":"16625236+ray851107","login":"ray851107","count":1},{"name":"person-with-a-username","email":"26419149+person-with-a-username","login":"person-with-a-username","count":1},{"name":"muchnick0","email":"60724804+muchnick0","login":"muchnick0","count":1},{"name":"me","email":"me@vikramverma.com","login":"fmap","count":1},{"name":"lane-brain","email":"lane@mailbox.org","login":"lane-core","count":1},{"name":"james","email":"james@place.org","login":"xplat","count":1},{"name":"identicalsnowflake","email":"identicalsnowflake@yandex.com","login":"identicalsnowflake","count":1},{"name":"effectfully","email":"effectfully@gmail.com","login":"effectfully","count":1},{"name":"Yee Jian Tan","email":"tanyeejian@gmail.com","login":"SwampertX","count":1},{"name":"Will Hawkins","email":"whh8b@obs.cr","login":"hawkinsw","count":1},{"name":"Vladimir Lopatin","email":"madjestic13@gmail.com","login":"madjestic","count":1},{"name":"Tom Jack","email":"tom@tomjack.co","login":"tomjack","count":1},{"name":"Thomas Lamiaux","email":"85848641+thomas-lamiaux","login":"thomas-lamiaux","count":1},{"name":"Thomas Anberree","email":"thomas.anberree@nottingham.edu.cn","login":"zlizta","count":1},{"name":"The Gitter Badger","email":"badger@gitter.im","login":"gitter-badger","count":1},{"name":"Teo Camarasu","email":"teofilcamarasu@gmail.com","login":"TeofilC","count":1},{"name":"Simon Boulier","email":"SimonBoulier","login":"SimonBoulier","count":1},{"name":"Shin-Cheng Mu","email":"scm@iis.sinica.edu.tw","login":"scmu","count":1},{"name":"Sergey Vinokurov","email":"serg.foo@gmail.com","login":"sergv","count":1},{"name":"Fabien Renaud","email":"fabienr@chalmers.se","login":null,"count":1},{"name":"Karl Mehltretter","email":"mehltret@cip.ifi.lmu.de","login":null,"count":1},{"name":"Ahmad Salim Al-Sibahi","email":"asal@itu.dk","login":null,"count":1},{"name":"Alex Benishek","email":"alex@alexbenishek.com","login":null,"count":1},{"name":"Carl Patenaude Poulin","email":"carl.patenaudepoulin@mail.mcgill.ca","login":null,"count":1},{"name":"Daniel Brown","email":"dbrown@ccs.neu.edu","login":null,"count":1},{"name":"Chad Perrin","email":"apotheon","login":"apotheon","count":1},{"name":"Carlo Cabrera","email":"30379873+carlocab","login":"carlocab","count":1},{"name":"Calvin Beck","email":"Chobbes","login":"Chobbes","count":1},{"name":"Brandon Elam Barker","email":"brandon.barker@gmail.com","login":"bbarker","count":1},{"name":"Asta Halkjær From","email":"andro.from@gmail.com","login":"astahfrom","count":1},{"name":"Apostolis Xekoukoulotakis","email":"xekoukou@gmail.com","login":"xekoukou","count":1},{"name":"Anton Setzer","email":"a.g.setzer@swan.ac.uk","login":"csetzer","count":1},{"name":"Andrej Tokarčík","email":"andrejtokarcik@gmail.com","login":"andrejtokarcik","count":1},{"name":"Andrej Bauer","email":"Andrej.Bauer@andrej.com","login":"andrejbauer","count":1},{"name":"Anders Kaseorg","email":"andersk@mit.edu","login":"andersk","count":1},{"name":"Alissa Tung","email":"alissa-tung@outlook.com","login":"alissa-tung","count":1},{"name":"Alexandre Esteves","email":"2335822+alexfmpe","login":"alexfmpe","count":1},{"name":"Alexander Ben Nasrallah","email":"me@abn.sh","login":"neosimsim","count":1},{"name":"AlexD97","email":"alexding97@gmail.com","login":"AlexD97","count":1},{"name":"Alex Rice","email":"alexrice999@hotmail.co.uk","login":"alexarice","count":1},{"name":"Alex Chapman","email":"alex@farfromthere.net","login":"AJChapman","count":1},{"name":"Adam Gundry","email":"adam.gundry@strath.ac.uk","login":"adamgundry","count":1},{"name":"Sean Whitton","email":"spwhitton@spwhitton.name","login":"spwhitton","count":1},{"name":"Kostiantyn Rybnikov","email":"k-bx@k-bx.com","login":"k-bx","count":1},{"name":"Kei Hibino","email":"ex8k.hibino@gmail.com","login":"khibino","count":1},{"name":"Jörg Thalheim","email":"Mic92","login":"Mic92","count":1},{"name":"Julin S","email":"48789920+ju-sh","login":"ju-sh","count":1},{"name":"Julian Alfredo Mendez","email":"julian.mendez@gmail.com","login":"julianmendez","count":1},{"name":"Joris Ceulemans","email":"joris.ceulemans@kuleuven.be","login":"JorisCeulemans","count":1},{"name":"Jinwoo Lee","email":"jinwoo@google.com","login":"jinwoo","count":1},{"name":"Jeremy Bi","email":"bixuanzju","login":"bixuanzju","count":1},{"name":"Jason Gross","email":"jasongross9@gmail.com","login":"JasonGross","count":1},{"name":"Uri Blumenthal","email":"uri@ll.mit.edu","login":null,"count":1},{"name":"Matthew Yacavone","email":"matthew@yacavone.net","login":"m-yac","count":1},{"name":"Markus Schlegel","email":"mail@markus-schlegel.com","login":"markusschlegel","count":1},{"name":"Manuel Bärenz","email":"programming@manuelbaerenz.de","login":"turion","count":1},{"name":"MaiaVictor","email":"srvictormaia@gmail.com","login":"VictorTaelin","count":1},{"name":"Lîm Tsú-thuàn","email":"dannypsnl@protonmail.com","login":"dannypsnl","count":1},{"name":"Louis de Forcrand","email":"olius@bluewin.ch","login":"Olius","count":1},{"name":"Liam O'Connor","email":"liamoc@cse.unsw.edu.au","login":"liamoc","count":1},{"name":"Li-yao Xia","email":"lysxia@gmail.com","login":"Lysxia","count":1},{"name":"Lennart Augustsson","email":"lennart@augustsson.net","login":"augustss","count":1},{"name":"zjhmale","email":"zjhmale@gmail.com","login":"swr1bm86","count":1},{"name":"thorimur","email":"68410468+thorimur","login":"thorimur","count":1},{"name":"tensorknower69","email":"latesight20@protonmail.com","login":"DSLstandard","count":1},{"name":"Jan-Oliver Kaiser","email":"mail@janno-kaiser.de","login":"Janno","count":1},{"name":"James McKinna","email":"J.McKinna@hw.ac.uk","login":"jamesmckinna","count":1},{"name":"James Martin","email":"james@jtmar.me","login":"jamestmartin","count":1},{"name":"James Burton","email":"j.burton@brighton.ac.uk","login":"jimburton","count":1},{"name":"István Donkó","email":"istvan.donko@gmail.com","login":"isti115","count":1},{"name":"Haohan Yang","email":"37651510+haohanyang","login":"haohanyang","count":1},{"name":"Georgi Lyubenov","email":"godzbanebane@gmail.com","login":"googleson78","count":1},{"name":"Frédéric Jouault","email":"fjouault","login":"fjouault","count":1},{"name":"Forty-Bot","email":"Forty-Bot","login":"Forty-Bot","count":1},{"name":"Farhad Mehta","email":"farhad.mehta@ost.ch","login":"fmehta","count":1},{"name":"Fangyi Zhou","email":"me@fangyi.io","login":"fangyi-zhou","count":1},{"name":"Evan Cavallo","email":"evan.cavallo@math.su.se","login":"ecavallo","count":1},{"name":"Elliot","email":"key.draw@gmail.com","login":"vezwork","count":1},{"name":"Eduard-Gabriel Munteanu","email":"eduard.munteanu@linux360.ro","login":"edgmnt","count":1}],"total_commits":20209,"total_committers":242,"total_bot_commits":6,"total_bot_committers":1,"mean_commits":83.50826446280992,"dds":0.7025087832153991,"past_year_committers":[{"name":"Andreas Abel","email":"andreas.abel@ifi.lmu.de","login":"andreasabel","count":646},{"name":"Jesper Cockx","email":"jesper.cockx@cs.kuleuven.be","login":"jespercockx","count":48},{"name":"Ulf Norell","email":"ulfn@chalmers.se","login":"UlfNorell","count":37},{"name":"Amélia Liao","email":"me@amelia.how","login":"plt-amy","count":34},{"name":"Szumi Xie","email":"szumixie@gmail.com","login":"szumixie","count":21},{"name":"Josselin Poiret","email":"dev@jpoiret.xyz","login":"jpoiret","count":13},{"name":"Lucas Escot","email":"lucas@escot.me","login":"flupe","count":12},{"name":"Phil de Joux","email":"philderbeast@gmail.com","login":"philderbeast","count":11},{"name":"Lawrence Chonavel","email":"95857153+lawcho","login":"lawcho","count":9},{"name":"András Kovács","email":"puttamalac@gmail.com","login":"AndrasKovacs","count":8},{"name":"Naïm Favier","email":"n@monade.li","login":"ncfavier","count":8},{"name":"Martin Fredin","email":"fredin.martin@gmail.com","login":"fredins","count":4},{"name":"Guillaume Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":2},{"name":"MJG","email":"marcinjangrzybowski@gmail.com","login":"marcinjangrzybowski","count":2},{"name":"Mario Carneiro","email":"di.gama@gmail.com","login":"digama0","count":2},{"name":"Nils Anders Danielsson","email":"nad@cse.gu.se","login":"nad","count":2},{"name":"Orestis Melkonian","email":"melkon.or@gmail.com","login":"omelkonian","count":2},{"name":"cmcmA20","email":"cmcmA20@pm.me","login":"invalid-email-address","count":2},{"name":"Yee Jian Tan","email":"tanyeejian@gmail.com","login":"SwampertX","count":1},{"name":"Will Hawkins","email":"whh8b@obs.cr","login":"hawkinsw","count":1},{"name":"Teo Camarasu","email":"teofilcamarasu@gmail.com","login":"TeofilC","count":1},{"name":"Rodrigo Mesquita","email":"rodrigo.m.mesquita@gmail.com","login":"alt-romes","count":1},{"name":"Max S. New","email":"maxsnew@gmail.com","login":"maxsnew","count":1},{"name":"Markus Schlegel","email":"mail@markus-schlegel.com","login":"markusschlegel","count":1},{"name":"Lîm Tsú-thuàn","email":"dannypsnl@protonmail.com","login":"dannypsnl","count":1},{"name":"Julin S","email":"48789920+ju-sh","login":"ju-sh","count":1},{"name":"Joris Ceulemans","email":"joris.ceulemans@kuleuven.be","login":"JorisCeulemans","count":1},{"name":"Jonathan Coates","email":"git@squiddev.cc","login":"SquidDev","count":1},{"name":"Janek Spaderna","email":"janek@spaderna.eu","login":"JaSpa","count":1},{"name":"Haohan Yang","email":"37651510+haohanyang","login":"haohanyang","count":1},{"name":"Anton Setzer","email":"a.g.setzer@swan.ac.uk","login":"csetzer","count":1},{"name":"AlexD97","email":"alexding97@gmail.com","login":"AlexD97","count":1},{"name":"Alex Chapman","email":"alex@farfromthere.net","login":"AJChapman","count":1}],"past_year_total_commits":878,"past_year_total_committers":33,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":26.606060606060606,"past_year_dds":0.26423690205011385,"last_synced_at":"2025-05-15T05:31:07.403Z","last_synced_commit":"d5053a3aa8aba41d3e3b8a9dceac2bc915316ee6","created_at":"2024-09-20T17:48:17.736Z","updated_at":"2025-05-15T05:31:11.940Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.343Z","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":"agda/agda","html_url":"https://github.com/agda/agda","last_synced_at":"2025-09-04T10:10:00.883Z","status":null,"issues_count":691,"pull_requests_count":877,"avg_time_to_close_issue":19299546.06759907,"avg_time_to_close_pull_request":4070287.123955432,"issues_closed_count":429,"pull_requests_closed_count":718,"pull_request_authors_count":59,"issue_authors_count":142,"avg_comments_per_issue":3.1968162083936322,"avg_comments_per_pull_request":1.3831242873432155,"merged_pull_requests_count":650,"bot_issues_count":0,"bot_pull_requests_count":7,"past_year_issues_count":261,"past_year_pull_requests_count":546,"past_year_avg_time_to_close_issue":656775.9379844961,"past_year_avg_time_to_close_pull_request":343164.57549234136,"past_year_issues_closed_count":129,"past_year_pull_requests_closed_count":457,"past_year_pull_request_authors_count":28,"past_year_issue_authors_count":77,"past_year_avg_comments_per_issue":1.3448275862068966,"past_year_avg_comments_per_pull_request":1.0695970695970696,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":1,"past_year_merged_pull_requests_count":436,"created_at":"2024-09-20T17:48:17.884Z","updated_at":"2025-09-04T10:10:00.885Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda/issues","issue_labels_count":{"type: bug":211,"type: enhancement":77,"internal-error":36,"ux: error reporting":34,"cubical":29,"ux: documentation":28,"instance":23,"performance":21,"type: discussion":21,"modules":19,"status: duplicate":19,"with":18,"ux: warnings":18,"faq":17,"termination":17,"auto":17,"erasure":16,"rewriting":16,"reflection":14,"regression on master":14,"display pragma":14,"ux: display":14,"devx":13,"release blocker":13,"generalize":12,"ux: interaction":12,"Mimer":12,"backend: ghc":12,"import":11,"positivity":11,"records":11,"infra: test suite":11,"false":10,"ux: options":10,"irrelevance":10,"polarity":10,"pattern matching":10,"meta":10,"parser":9,"type-based-termination":9,"regression in 2.6.2":9,"regression in 2.7.0":8,"ux: printing":8,"backend: js":8,"range":8,"parameters":8,"ux: emacs":8,"ux: case splitting":8,"cabal":8,"infra: github workflows":8,"type: task":8,"ux: library management":8,"pattern-synonyms":7,"constraints":7,"status: info-needed":7,"scope":7,"language change":7,"safe":7,"syntax":7,"hidden arguments":7,"ux: installation":7,"opaque":7,"ux: highlighting":7,"refactor":7,"user-manual":7,"mutual":6,"bug or feature?":6,"prop":6,"file system":6,"without-K":5,"confluence":5,"unification":5,"not-in-changelog":5,"backends":5,"top-level module":5,"projections":5,"PR welcome":5,"record where":5,"dot patterns":5,"help wanted":5,"mixfix":5,"type-checking":5,"record constructors":5,"maculata":5,"regression in 2.6.4":5,"forcing":5,"eta":4,"postfix-projections":4,"checkInternal":4,"data":4,"operators":4,"pragma":4,"release":4,"status: working-as-intended":4,"build-library":4,"build-failure":4,"let":4,"occurs check":4,"interface":4,"sized types":4,"catch-all":4,"extended lambdas":4,"open-public":4,"status: wontfix":3,"de-Bruijn":3,"hits":3,"workaround exists":3,"nice":3,"shape-irrelevance":3,"cumulativity":3,"modalities":3,"agda-mode":3,"tactic":3,"regression in 2.6.0":3,"names":3,"allow-unsolved-metas":3,"status: abandoned":3,"where":3,"as-patterns":3,"abstract":3,"GenericError":3,"literals":3,"coverage":3,"caching":3,"irrelevant-projections":3,"rewrite":3,"let-telescopes":3,"builtin":3,"set-omega":3,"overloading":3,"coinduction":3,"Setup.hs":3,"regression in 2.6.1":3,"regression in 2.6.4.2":3,"give":2,"reduction":2,"experimental-irrelevance":2,"dead-code":2,"flat":2,"inlining":2,"absurd clauses":2,"shadowing":2,"exact split":2,"Agda loops":2,"layout":2,"difficulty: easy":2,"levels":2,"unused-arguments":2,"debug":2,"build":2,"backend: latex":2,"ghc support":2,"interleaved mutual":2,"singleton-types":2,"compiler-treeless":2,"clause-compiler":2,"level-universe":2,"busy-beaver":2,"ux: packaging":2,"inspect":2,"copatterns":2,"style":2,"record modules":2,"warning-on-usage":2,"serialization":2,"status: invalid":2,"priority: high":2,"upstream":2,"save-metas":2,"backend: html":2,"cubical-compatible":2,"ux: generate helper":1,"emacs goal detection":1,"highlighting-interactive":1,"literate-agda":1,"platform: nix":1,"ghc-9.16":1,"ghc environment":1,"REPL":1,"happy":1,"ghc-9.12":1,"projection-like":1,"sorts":1,"canonicity":1,"erased-cubical":1,"sections":1,"size-solver":1,"project root":1,"status: bisecting":1,"unicode":1,"lossy unification":1,"type: question":1,"postulate":1,"ghc-9.10":1,"record-expression-to-copatterns":1,"regression in 2.5.4":1,"injectivity":1,"usability":1,"sharing":1,"stack":1,"Makefile":1,"regression in 2.5.3":1,"guarded cubical":1,"record expression":1,"record-lambda":1,"interaction-json":1,"guardedness":1,"ellipsis":1,"backend: typst":1,"float":1,"very dependent types":1,"aim":1,"text-icu":1,"ghc-8.0.2":1,"configuration":1,"dependencies":1,"reduce-fast":1,"platform:macOS":1,"ux: colors":1,"bikeshedding":1,"subject reduction":1,"type: patch":1,"parameter-refinement":1,"api":1,"backend: dot":1,"constructors":1,"pattern binder":1,"ux: VSCode":1,"ghc issue":1,"command-line":1,"regression in 2.6.2.2":1,"ghc-8.4.4":1,"ghc-8.6.5":1,"idiom brackets":1},"pull_request_labels_count":{"refactor":76,"pr: preserve commits":63,"ux: error reporting":58,"ux: warnings":49,"pr: squash-me":44,"GenericError":36,"ux: installation":35,"infra: github workflows":34,"internal-error":30,"type: bug":25,"performance":25,"instance":25,"ux: emacs":24,"ux: documentation":24,"Mimer":22,"release":22,"cubical":21,"range":20,"infra: test suite":19,"devx":19,"parser":14,"backend: js":13,"record constructors":13,"termination":13,"type: enhancement":13,"ux: options":13,"reflection":13,"regression on master":12,"ux: highlighting":12,"polarity":12,"user-manual":12,"backends":11,"Setup.hs":10,"status: do-not-merge":10,"ux: case splitting":10,"dependencies":10,"operators":10,"display pragma":10,"scope":10,"generalize":9,"pragma":9,"Makefile":9,"with":9,"irrelevance":9,"type: task":9,"ux: interaction":9,"ux: printing":9,"ux: library management":8,"record where":8,"rewriting":8,"platform: nix":8,"erasure":8,"dev: hlint":8,"names":7,"tactic":7,"meta":7,"builtin":7,"build-library":6,"unicode":6,"api":6,"agda-mode":6,"ux: display":6,"instance postponement":6,"language change":6,"interface":6,"file system":6,"records":6,"status: stalled":6,"guardedness":6,"not-in-changelog":6,"style":6,"catch-all":6,"pattern-synonyms":5,"type-checking":5,"exact split":5,"maculata":5,"absurd clauses":5,"safe":5,"give":5,"constructors":5,"de-Bruijn":5,"eta":5,"where":4,"syntax":4,"nice":4,"import":4,"literate-agda":4,"let":4,"inlining":4,"record expression":4,"positivity":4,"opaque":4,"mutual":4,"size-solver":4,"release blocker":4,"ghc-9.10":4,"build":4,"serialization":4,"backend: ghc":4,"build-failure":4,"compiler-treeless":4,"status: work-in-progress":4,"sorts":3,"stack":3,"private":3,"prop":3,"regression in 2.6.1":3,"reduction":3,"backend: latex":3,"forcing":3,"constraints":3,"dead-code":3,"dot patterns":3,"pattern matching":3,"flat":3,"ghc-9.8":3,"help wanted":3,"hidden arguments":3,"auto":2,"ghc-9.6":2,"platform: windows":2,"let-telescopes":2,"sized types":2,"guarded cubical":2,"backend: html":2,"checkpoints":2,"shape-irrelevance":2,"checkInternal":2,"REPL":2,"debug":2,"level-universe":2,"upstream":2,"float":2,"happy":2,"occurs check":2,"aim":2,"lossy unification":2,"ghc-8.6.5":2,"coverage":2,"platform:macOS":2,"regression in 2.7.0":2,"missing reduce":2,"text-icu":2,"type: discussion":2,"command-line":2,"ghc-9.12":2,"copatterns":2,"abstract":2,"coinduction":2,"emacs goal detection":2,"unguarded record types":1,"clause-compiler":1,"ux: generate helper":1,"interaction-json":1,"interleaved mutual":1,"subtyping":1,"singleton-types":1,"regression in 2.6.0":1,"postfix-projections":1,"confluence":1,"hits":1,"save-metas":1,"idiom brackets":1,"erased-cubical":1,"std-lib":1,"List1 etc.":1,"cumulativity":1,"record-expression-to-copatterns":1,"agda-bisect":1,"ambiguous-constructors":1,"pr: reorganize commits":1,"false":1,"unification":1,"pattern binder":1,"regression in 2.6.3":1,"status: wontfix":1,"backend: dot":1,"parameters":1,"portability":1,"ghc support":1,"ghc-8":1,"closed-issues-for-milestone":1,"modalities":1,"rewrite":1,"top-level module":1,"github_actions":1,"standard-library":1,"cubical-compatible":1,"conversion":1},"issue_author_associations_count":{"MEMBER":252,"NONE":246,"CONTRIBUTOR":189,"COLLABORATOR":4},"pull_request_author_associations_count":{"MEMBER":691,"CONTRIBUTOR":151,"NONE":35},"issue_authors":{"andreasabel":159,"GoogleCodeExporter":115,"nad":43,"lawcho":21,"plt-amy":21,"szumixie":19,"jespercockx":17,"UlfNorell":15,"gallais":11,"jamesmckinna":11,"mietek":9,"ncfavier":9,"mechvel":8,"wenkokke":8,"sattlerc":7,"MatthewDaggitt":6,"carlostome":5,"ice1000":5,"4e554c4c":5,"anuyts":5,"L-TChen":5,"VidaKhandan":4,"AndrasKovacs":4,"NathanielB123":4,"leopold-gravier":4,"WhatisRT":4,"noughtmare":4,"omelkonian":4,"jake-87":3,"stschaef":3,"maxsnew":3,"oskeri":3,"haohanyang":3,"juhp":3,"anshwad10":3,"txa":3,"felixwellen":3,"jwaldmann":3,"cmcmA20":3,"caryoscelus":2,"kleinreact":2,"emekoi":2,"jashug":2,"lane-core":2,"Seiryn21":2,"digama0":2,"Trebor-Huang":2,"Soares":2,"FernandoChu":2,"martinescardo":2,"asr":2,"pnlph":2,"uncle-betty":2,"laserbat":2,"laMudri":2,"patrick-nicodemus":2,"knisht":2,"liesnikov":2,"flupe":2,"JasonGross":2,"ionathanch":2,"buggymcbugfix":2,"ajrouvoet":1,"marcinjangrzybowski":1,"EDT4":1,"dolio":1,"vlopezj":1,"yaitskov":1,"Mesabloo":1,"Sean-Watters":1,"kubaneko":1,"sgodwincs":1,"viktorcsimma":1,"maxdore":1,"capn-freako":1,"erikd":1,"jrp2014":1,"JoeyEremondi":1,"javierdiaz72":1,"sp1ff":1,"WillHolbrook":1,"conal":1,"blkerby":1,"DemiMarie":1,"PHart3":1,"pavenvivek":1,"nrnrnr":1,"zopa":1,"IlmarsCirulis":1,"leoydm":1,"mkm":1,"cxandru":1,"Plisp":1,"ayberkt":1,"TOTBWF":1,"rvs314":1,"maltenmuller":1,"decorator-factory":1,"sgraf812":1,"Terramorpha":1,"amp12":1,"mortberg":1,"shhyou":1,"howtonotwin":1,"bagnama":1,"WolframKahl":1,"sjeulu":1,"TeofilC":1,"mouse07410":1,"lonetech":1,"GalihPRep":1,"ivanperez-keera":1,"ruifengx":1,"msuperdock":1,"kangxyz":1,"dom-verity":1,"AJChapman":1,"arrowd":1,"rwe":1,"cho-m":1,"MASantos":1,"peterthiemann":1,"samtoth":1,"guilhermehas":1,"Jesin":1,"ulidtko":1,"xekoukou":1,"jpoiret":1,"quomat":1,"bkomuves":1,"alexarice":1,"julianaoconnor":1,"tizmd":1,"ghost":1,"floofnoodlecode":1,"ningcng":1,"Bodigrim":1,"knottio":1,"Ghostman199125":1,"benbellick":1,"olekgierczak":1,"m0rphism":1},"pull_request_authors":{"andreasabel":463,"plt-amy":67,"UlfNorell":63,"jespercockx":49,"szumixie":37,"ncfavier":24,"lawcho":23,"AndrasKovacs":18,"philderbeast":13,"dependabot[bot]":7,"L-TChen":7,"nad":6,"phikal":6,"marcinjangrzybowski":6,"gallais":5,"SwampertX":4,"WhatisRT":4,"TOTBWF":4,"dannypsnl":4,"SquidDev":4,"digama0":4,"NathanielB123":4,"knisht":3,"omelkonian":3,"VitalyAnkh":2,"VidaKhandan":2,"ju-sh":2,"fredrik-bakke":2,"JaSpa":2,"cmcmA20":2,"haohanyang":2,"Saizan":2,"AlexD97":2,"vlopezj":2,"rwe":2,"ibbem":2,"flupe":2,"jpoiret":2,"rhendric":1,"zliu41":1,"csetzer":1,"banacorn":1,"alt-romes":1,"markusschlegel":1,"muchnick0":1,"hawkinsw":1,"effectfully":1,"TeofilC":1,"fmehta":1,"4e554c4c":1,"maxsnew":1,"qlonik":1,"msuperdock":1,"chu-mirror":1,"jamesmckinna":1,"endobson":1,"Mic92":1,"AJChapman":1,"liesnikov":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10078922,"issues_count":31312308,"pull_requests_count":96079417,"authors_count":10692483,"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":{"type: bug":33,"internal-error":22,"ux: error reporting":14,"cubical":12,"type: enhancement":11,"regression on master":10,"rewriting":9,"instance":8,"ux: warnings":8,"with":8,"ux: documentation":8,"performance":8,"backend: js":7,"termination":7,"polarity":6,"parser":6,"Mimer":6,"generalize":6,"reflection":5,"positivity":5,"ux: interaction":5,"record where":5,"prop":5,"faq":5,"erasure":4,"range":4,"regression in 2.7.0":4,"modules":4,"ux: library management":4,"pragma":4,"build-library":4,"refactor":4,"ux: case splitting":4,"infra: github workflows":4,"display pragma":4,"status: duplicate":4,"ux: highlighting":4,"false":3,"import":3,"type: discussion":3,"operators":3,"confluence":3,"regression in 2.6.2":3,"ux: emacs":3,"pattern matching":3,"devx":3,"builtin":3,"backends":3,"postfix-projections":2,"dot patterns":2,"maculata":2,"copatterns":2,"reduction":2,"opaque":2,"open-public":2,"irrelevance":2,"tactic":2,"coinduction":2,"interleaved mutual":2,"mutual":2,"inlining":2,"top-level module":2,"status: working-as-intended":2,"ux: installation":2,"cumulativity":2,"auto":2,"record constructors":2,"nice":2,"style":2,"give":2,"rewrite":2,"coverage":2,"Setup.hs":2,"level-universe":2,"busy-beaver":2,"mixfix":2,"forcing":2,"bug or feature?":2,"overloading":2,"interface":2,"release blocker":2,"status: info-needed":2,"not-in-changelog":2,"infra: test suite":2,"backend: ghc":2,"de-Bruijn":2,"set-omega":1,"status: invalid":1,"build-failure":1,"warning-on-usage":1,"modalities":1,"file system":1,"shape-irrelevance":1,"emacs goal detection":1,"happy":1,"upstream":1,"ghc environment":1,"build":1,"subject reduction":1,"projections":1,"syntax":1,"type: task":1,"ghc-9.16":1,"dependencies":1,"eta":1,"canonicity":1,"scope":1,"sorts":1,"difficulty: easy":1,"user-manual":1,"projection-like":1,"literate-agda":1,"regression in 2.6.4":1,"names":1,"ux: colors":1,"let-telescopes":1,"ghc-9.12":1,"backend: typst":1,"ux: printing":1,"agda-mode":1,"text-icu":1,"literals":1,"regression in 2.6.4.2":1,"regression in 2.6.1":1,"aim":1,"compiler-treeless":1,"data":1,"checkInternal":1,"type-checking":1,"float":1,"ux: packaging":1,"help wanted":1,"PR welcome":1,"safe":1,"ux: display":1,"bikeshedding":1,"meta":1,"levels":1,"caching":1,"constraints":1,"pattern-synonyms":1,"api":1,"backend: dot":1,"backend: html":1,"backend: latex":1,"release":1,"where":1,"parameters":1,"constructors":1,"ux: VSCode":1,"ghc issue":1,"Agda loops":1,"catch-all":1,"regression in 2.6.2.2":1,"irrelevant-projections":1,"allow-unsolved-metas":1,"ux: options":1,"abstract":1,"ellipsis":1},"past_year_pull_request_labels_count":{"refactor":58,"pr: preserve commits":51,"ux: error reporting":45,"pr: squash-me":36,"ux: warnings":30,"internal-error":28,"ux: installation":28,"performance":24,"infra: github workflows":21,"type: bug":21,"ux: documentation":19,"GenericError":18,"cubical":18,"Mimer":18,"devx":17,"range":16,"instance":16,"ux: emacs":16,"parser":12,"backend: js":12,"regression on master":12,"ux: highlighting":11,"operators":10,"record constructors":10,"polarity":10,"infra: test suite":10,"release":10,"termination":10,"reflection":10,"generalize":9,"Makefile":9,"backends":9,"scope":9,"display pragma":9,"user-manual":8,"erasure":8,"ux: case splitting":8,"type: enhancement":8,"irrelevance":7,"ux: options":7,"pragma":7,"Setup.hs":7,"tactic":7,"record where":6,"build-library":6,"ux: library management":6,"catch-all":6,"instance postponement":6,"names":6,"platform: nix":6,"builtin":6,"ux: interaction":6,"guardedness":6,"rewriting":5,"with":5,"api":5,"maculata":5,"ux: printing":5,"safe":5,"status: do-not-merge":5,"style":5,"where":4,"type-checking":4,"nice":4,"file system":4,"de-Bruijn":4,"release blocker":4,"agda-mode":4,"meta":4,"language change":4,"give":4,"constructors":4,"absurd clauses":4,"positivity":4,"not-in-changelog":4,"inlining":4,"size-solver":4,"exact split":4,"type: task":4,"build-failure":4,"build":4,"interface":3,"reduction":3,"import":3,"let":3,"compiler-treeless":3,"dot patterns":3,"serialization":3,"help wanted":3,"records":3,"mutual":3,"stack":3,"backend: ghc":3,"ux: display":3,"regression in 2.6.1":2,"copatterns":2,"backend: latex":2,"sorts":2,"let-telescopes":2,"constraints":2,"unicode":2,"literate-agda":2,"syntax":2,"record expression":2,"status: work-in-progress":2,"shape-irrelevance":2,"checkpoints":2,"prop":2,"debug":2,"float":2,"happy":2,"level-universe":2,"upstream":2,"REPL":2,"occurs check":2,"platform:macOS":2,"hidden arguments":2,"ghc-8.6.5":2,"text-icu":2,"coverage":2,"missing reduce":2,"regression in 2.7.0":2,"emacs goal detection":2,"flat":2,"command-line":2,"pattern matching":2,"ghc-9.12":2,"opaque":2,"ghc-8":1,"ghc support":1,"aim":1,"modalities":1,"rewrite":1,"top-level module":1,"guarded cubical":1,"dependencies":1,"github_actions":1,"erased-cubical":1,"std-lib":1,"List1 etc.":1,"cumulativity":1,"type: discussion":1,"abstract":1,"private":1,"coinduction":1,"unification":1,"ghc-9.8":1,"regression in 2.6.3":1,"record-expression-to-copatterns":1,"status: wontfix":1,"ambiguous-constructors":1,"parameters":1,"portability":1,"pr: reorganize commits":1,"false":1,"backend: html":1,"backend: dot":1,"checkInternal":1},"past_year_issue_author_associations_count":{"MEMBER":110,"CONTRIBUTOR":81,"NONE":67,"COLLABORATOR":3},"past_year_pull_request_author_associations_count":{"MEMBER":454,"CONTRIBUTOR":77,"NONE":15},"past_year_issue_authors":{"andreasabel":74,"szumixie":14,"plt-amy":11,"nad":11,"lawcho":9,"jamesmckinna":9,"mietek":6,"jespercockx":6,"carlostome":5,"wenkokke":4,"VidaKhandan":4,"ncfavier":4,"mechvel":4,"leopold-gravier":4,"4e554c4c":4,"jwaldmann":3,"jake-87":3,"L-TChen":3,"NathanielB123":3,"noughtmare":3,"haohanyang":3,"stschaef":3,"felixwellen":3,"anshwad10":3,"anuyts":2,"oskeri":2,"Seiryn21":2,"maxsnew":2,"UlfNorell":2,"liesnikov":2,"laserbat":2,"lane-core":2,"AndrasKovacs":2,"digama0":2,"gallais":2,"jashug":2,"GalihPRep":1,"ruifengx":1,"rvs314":1,"samtoth":1,"sattlerc":1,"flupe":1,"shhyou":1,"sjeulu":1,"Soares":1,"FernandoChu":1,"erikd":1,"TeofilC":1,"Terramorpha":1,"tizmd":1,"TOTBWF":1,"emekoi":1,"uncle-betty":1,"dom-verity":1,"WhatisRT":1,"zopa":1,"julianaoconnor":1,"cxandru":1,"knottio":1,"javierdiaz72":1,"cmcmA20":1,"Bodigrim":1,"decorator-factory":1,"ivanperez-keera":1,"maltenmuller":1,"MASantos":1,"MatthewDaggitt":1,"ionathanch":1,"blkerby":1,"bkomuves":1,"mortberg":1,"bagnama":1,"IlmarsCirulis":1,"arrowd":1,"ice1000":1,"peterthiemann":1,"PHart3":1},"past_year_pull_request_authors":{"andreasabel":316,"plt-amy":51,"szumixie":36,"jespercockx":30,"UlfNorell":26,"lawcho":18,"ncfavier":13,"AndrasKovacs":12,"SquidDev":4,"gallais":4,"NathanielB123":4,"digama0":4,"SwampertX":4,"TOTBWF":3,"JaSpa":2,"L-TChen":2,"VidaKhandan":2,"ju-sh":2,"haohanyang":2,"dannypsnl":2,"marcinjangrzybowski":2,"TeofilC":1,"alt-romes":1,"dependabot[bot]":1,"maxsnew":1,"liesnikov":1,"jpoiret":1,"nad":1},"maintainers":[{"login":"andreasabel","count":622,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"plt-amy","count":88,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"UlfNorell","count":78,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/UlfNorell"},{"login":"jespercockx","count":66,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"ncfavier","count":33,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"szumixie","count":19,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/szumixie"},{"login":"gallais","count":16,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"L-TChen","count":12,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/L-TChen"},{"login":"ice1000","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ice1000"},{"login":"oskeri","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/oskeri"},{"login":"asr","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/asr"},{"login":"banacorn","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/banacorn"},{"login":"WolframKahl","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/WolframKahl"},{"login":"mortberg","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mortberg"}],"active_maintainers":[{"login":"andreasabel","count":390,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"plt-amy","count":62,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"jespercockx","count":36,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jespercockx"},{"login":"UlfNorell","count":28,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/UlfNorell"},{"login":"szumixie","count":19,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/szumixie"},{"login":"ncfavier","count":17,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"gallais","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gallais"},{"login":"L-TChen","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/L-TChen"},{"login":"oskeri","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/oskeri"},{"login":"mortberg","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mortberg"},{"login":"ice1000","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ice1000"}]},"events":null,"keywords":["agda","dependent-types","programming-language","proof-assistant","type-theory"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/cabal-install.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.868Z","updated_at":"2023-09-25T20:38:26.868Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/cabal-install.yml","dependencies":[{"id":13937330470,"package_name":"styfle/cancel-workflow-action","ecosystem":"actions","requirements":"0.11.0","direct":true,"kind":"composite","optional":false},{"id":13937330471,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330472,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330473,"package_name":"actions/cache/restore","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330474,"package_name":"actions/cache/save","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/cabal.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.908Z","updated_at":"2023-09-25T20:38:26.908Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/cabal.yml","dependencies":[{"id":13937330475,"package_name":"styfle/cancel-workflow-action","ecosystem":"actions","requirements":"0.11.0","direct":true,"kind":"composite","optional":false},{"id":13937330476,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330477,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330478,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/delete-unused-caches.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.918Z","updated_at":"2023-09-25T20:38:26.918Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/delete-unused-caches.yml","dependencies":[{"id":13937330479,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/deploy.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.924Z","updated_at":"2023-09-25T20:38:26.924Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/deploy.yml","dependencies":[{"id":13937330480,"package_name":"styfle/cancel-workflow-action","ecosystem":"actions","requirements":"0.11.0","direct":true,"kind":"composite","optional":false},{"id":13937330481,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330482,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330483,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330484,"package_name":"svenstaro/upx-action","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330485,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330486,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/haddock.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.944Z","updated_at":"2023-09-25T20:38:26.944Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/haddock.yml","dependencies":[{"id":13937330487,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330488,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330489,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330490,"package_name":"peaceiris/actions-gh-pages","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/stack-dry-run.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.953Z","updated_at":"2023-09-25T20:38:26.953Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/stack-dry-run.yml","dependencies":[{"id":13937330491,"package_name":"styfle/cancel-workflow-action","ecosystem":"actions","requirements":"0.11.0","direct":true,"kind":"composite","optional":false},{"id":13937330492,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330493,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/stack.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.961Z","updated_at":"2023-09-25T20:38:26.961Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/stack.yml","dependencies":[{"id":13937330494,"package_name":"styfle/cancel-workflow-action","ecosystem":"actions","requirements":"0.11.0","direct":true,"kind":"composite","optional":false},{"id":13937330495,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330496,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330497,"package_name":"actions/cache/restore","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330498,"package_name":"actions/cache/save","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/test.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.970Z","updated_at":"2023-09-25T20:38:26.970Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/test.yml","dependencies":[{"id":13937330499,"package_name":"styfle/cancel-workflow-action","ecosystem":"actions","requirements":"0.11.0","direct":true,"kind":"composite","optional":false},{"id":13937330500,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330501,"package_name":"haskell-actions/setup","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13937330502,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330503,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330504,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13937330505,"package_name":"actions/cache/restore","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/user_manual.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.983Z","updated_at":"2023-09-25T20:38:26.983Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/user_manual.yml","dependencies":[{"id":13937330506,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330507,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330508,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/whitespace.yml","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:26.994Z","updated_at":"2023-09-25T20:38:26.994Z","repository_link":"https://github.com/agda/agda/blob/master/.github/workflows/whitespace.yml","dependencies":[{"id":13937330509,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13937330510,"package_name":"andreasabel/fix-whitespace-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"hackage","filepath":"Agda.cabal","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:27.023Z","updated_at":"2023-09-25T20:38:27.023Z","repository_link":"https://github.com/agda/agda/blob/master/Agda.cabal","dependencies":[]},{"ecosystem":"hackage","filepath":"src/agda-bisect/agda-bisect.cabal","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:27.030Z","updated_at":"2023-09-25T20:38:27.030Z","repository_link":"https://github.com/agda/agda/blob/master/src/agda-bisect/agda-bisect.cabal","dependencies":[{"id":13937330511,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.9.0.0 \u0026\u0026 \u003c4.18","direct":true,"kind":"runtime","optional":false},{"id":13937330512,"package_name":"ansi-wl-pprint","ecosystem":"hackage","requirements":"\u003e=0.6.7.3 \u0026\u0026 \u003c0.7","direct":true,"kind":"runtime","optional":false},{"id":13937330513,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.2.6.2 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false},{"id":13937330514,"package_name":"filepath","ecosystem":"hackage","requirements":"\u003e=1.4.1.0 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":13937330515,"package_name":"optparse-applicative","ecosystem":"hackage","requirements":"\u003e=0.13 \u0026\u0026 \u003c0.18","direct":true,"kind":"runtime","optional":false},{"id":13937330516,"package_name":"process","ecosystem":"hackage","requirements":"\u003e=1.4.2.0 \u0026\u0026 \u003c1.7","direct":true,"kind":"runtime","optional":false},{"id":13937330517,"package_name":"time","ecosystem":"hackage","requirements":"\u003e=1.6.0.1 \u0026\u0026 \u003c1.13","direct":true,"kind":"runtime","optional":false},{"id":13937330518,"package_name":"unix","ecosystem":"hackage","requirements":"\u003e=2.7.2.0 \u0026\u0026 \u003c2.8","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"src/release-tools/closed-issues-for-milestone/closed-issues-for-milestone.cabal","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:27.065Z","updated_at":"2023-09-25T20:38:27.065Z","repository_link":"https://github.com/agda/agda/blob/master/src/release-tools/closed-issues-for-milestone/closed-issues-for-milestone.cabal","dependencies":[{"id":13937330519,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.13.0.0 \u0026\u0026 \u003c4.19","direct":true,"kind":"runtime","optional":false},{"id":13937330520,"package_name":"bytestring","ecosystem":"hackage","requirements":"\u003e=0.10.9.0 \u0026\u0026 \u003c0.12","direct":true,"kind":"runtime","optional":false},{"id":13937330521,"package_name":"github","ecosystem":"hackage","requirements":"==0.29.*","direct":true,"kind":"runtime","optional":false},{"id":13937330522,"package_name":"text","ecosystem":"hackage","requirements":"\u003e=1.2.3 \u0026\u0026 \u003c2.1","direct":true,"kind":"runtime","optional":false},{"id":13937330523,"package_name":"vector","ecosystem":"hackage","requirements":"\u003e=0.12.0.3 \u0026\u0026 \u003c0.14","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"src/size-solver/size-solver.cabal","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:27.114Z","updated_at":"2023-09-25T20:38:27.114Z","repository_link":"https://github.com/agda/agda/blob/master/src/size-solver/size-solver.cabal","dependencies":[{"id":13937330524,"package_name":"Agda","ecosystem":"hackage","requirements":"==2.6.4","direct":true,"kind":"runtime","optional":false},{"id":13937330525,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.12.0.0 \u0026\u0026 \u003c5","direct":true,"kind":"runtime","optional":false},{"id":13937330526,"package_name":"containers","ecosystem":"hackage","requirements":"\u003e=0.5.7.1 \u0026\u0026 \u003c0.7","direct":true,"kind":"runtime","optional":false},{"id":13937330527,"package_name":"mtl","ecosystem":"hackage","requirements":"\u003e=2.2.1 \u0026\u0026 \u003c2.4","direct":true,"kind":"runtime","optional":false},{"id":13937330528,"package_name":"parsec","ecosystem":"hackage","requirements":"==3.1.*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"test/Bugs/Issue4569/HelloWorld.cabal","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:27.140Z","updated_at":"2023-09-25T20:38:27.140Z","repository_link":"https://github.com/agda/agda/blob/master/test/Bugs/Issue4569/HelloWorld.cabal","dependencies":[{"id":13937330529,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":13937330530,"package_name":"HelloWorld","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"doc/user-manual/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-09-25T20:38:27.226Z","updated_at":"2023-09-25T20:38:27.226Z","repository_link":"https://github.com/agda/agda/blob/master/doc/user-manual/requirements.txt","dependencies":[{"id":13937330531,"package_name":"Sphinx","ecosystem":"pypi","requirements":"\u003e=7.2.5","direct":true,"kind":"runtime","optional":false},{"id":13937330532,"package_name":"sphinx_rtd_theme","ecosystem":"pypi","requirements":"\u003e=1.3.0","direct":true,"kind":"runtime","optional":false}]}],"score":21.150161705046642,"created_at":"2025-09-04T15:51:11.161Z","updated_at":"2025-10-07T08:15:24.672Z","avatar_url":"https://github.com/agda.png","language":"Haskell","category":null,"sub_category":null,"monthly_downloads":1684,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["haskell","version","hdfs","pde","mathematics","interactive","optim","qt","operating-system","state-management"],"project_url":"https://science.ecosyste.ms/api/v1/projects/37437","html_url":"https://science.ecosyste.ms/projects/37437","bibtex_url":"https://science.ecosyste.ms/projects/37437/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/37437/export.apalike"}