{"id":13482405,"url":"https://github.com/agda/agda","last_synced_at":"2026-04-01T23:04:18.684Z","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":"2026-01-26T00:05:37.000Z","size":159966,"stargazers_count":2784,"open_issues_count":1069,"forks_count":393,"subscribers_count":61,"default_branch":"master","last_synced_at":"2026-01-26T16:08:45.372Z","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":"2026-01-26T15:35:52.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":286080680,"owners_count":28863336,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-28T22:56:21.783Z","status":"online","status_checked_at":"2026-01-29T02:00:06.714Z","response_time":59,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["agda","dependent-types","programming-language","proof-assistant","type-theory"],"created_at":"2024-07-31T17:01:01.692Z","updated_at":"2026-01-29T05:14:28.986Z","avatar_url":"https://github.com/agda.png","language":"Haskell","readme":"Agda 2\n======\n\n[![Hackage version](https://img.shields.io/hackage/v/Agda.svg?label=Hackage)](http://hackage.haskell.org/package/Agda)\n[![Stackage version](https://www.stackage.org/package/Agda/badge/lts?label=Stackage)](https://www.stackage.org/package/Agda)\n[![Test](https://github.com/agda/agda/workflows/Build,%20Test,%20and%20Benchmark/badge.svg?branch=master)](https://github.com/agda/agda/actions?query=workflow%3A%22Build%2C+Test%2C+and+Benchmark%22)\n[![Documentation Status](https://readthedocs.org/projects/agda/badge/?version=latest)](http://agda.readthedocs.io/en/latest/?badge=latest)\n[![Agda Zulip](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://agda.zulipchat.com)\n\n![The official Agda logo](https://raw.githubusercontent.com/agda/agda/master/doc/user-manual/agda.svg)\n\nNote that this README is only about Agda, not its standard\nlibrary. See the [Agda Wiki][agdawiki] for information about the\nlibrary.\n\nDocumentation\n-------------\n\n* [User manual](http://agda.readthedocs.io)\n  (per-commit pdf can be downloaded from the\n  [github actions](https://github.com/agda/agda/actions/workflows/user_manual.yml) page)\n* [CHANGELOG](https://github.com/agda/agda/blob/master/CHANGELOG.md)\n\nGetting Started\n----------------\n\n* [Installation](https://agda.readthedocs.io/en/latest/getting-started/installation.html)\n* [Quick guide to editing, type checking and compiling Agda\n  code](https://agda.readthedocs.io/en/latest/getting-started/a-taste-of-agda.html)\n\nContributing to Agda\n--------------------\n\n* Contribution how-to: [`HACKING`](https://github.com/agda/agda/blob/master/HACKING.md)\n* [Haskell style-guide](https://github.com/andreasabel/haskell-style-guide/blob/master/haskell-style.md)\n\n[agdawiki]: http://wiki.portal.chalmers.se/agda/pmwiki.php\n","funding_links":[],"categories":["Haskell","Uncategorized","Languages","Functional","Hardware Verification"],"sub_categories":["Uncategorized","[Racket](https://racket-lang.org/)","Languages"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fagda%2Fagda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda/lists"}