{"id":13829689,"url":"https://github.com/agda/agda-stdlib","last_synced_at":"2026-01-28T10:32:01.303Z","repository":{"id":13308570,"uuid":"15994976","full_name":"agda/agda-stdlib","owner":"agda","description":"The Agda standard library","archived":false,"fork":false,"pushed_at":"2026-01-22T13:29:36.000Z","size":609890,"stargazers_count":643,"open_issues_count":342,"forks_count":259,"subscribers_count":25,"default_branch":"master","last_synced_at":"2026-01-23T02:17:43.478Z","etag":null,"topics":["agda","library","proof"],"latest_commit_sha":null,"homepage":"https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary","language":"Agda","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2014-01-17T09:09:18.000Z","updated_at":"2026-01-22T12:46:28.000Z","dependencies_parsed_at":"2023-10-11T03:56:35.869Z","dependency_job_id":"f54a8f29-28fe-4a8a-9b3f-a431f808f2ac","html_url":"https://github.com/agda/agda-stdlib","commit_stats":{"total_commits":3051,"total_committers":157,"mean_commits":19.43312101910828,"dds":0.6122582759750901,"last_synced_commit":"2839cec949bd2d19663e4401dd1f0114001b7db5"},"previous_names":[],"tags_count":44,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-stdlib","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-stdlib/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib/sbom","scorecard":{"id":170311,"data":{"date":"2025-08-11","repo":{"name":"github.com/agda/agda-stdlib","commit":"54f5c38799f6c0125f7dc914e073670b549bcbe6"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":5.8,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 10 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":10,"reason":"all changesets reviewed","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/ci-ubuntu.yml:1","Warn: no topLevel permission defined: .github/workflows/haskell-ci.yml:1","Warn: no topLevel permission defined: .github/workflows/whitespace.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENCE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:102: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:117: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:151: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-ubuntu.yml:194: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/ci-ubuntu.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haskell-ci.yml:177: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/haskell-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haskell-ci.yml:213: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/haskell-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/haskell-ci.yml:237: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/haskell-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/whitespace.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/whitespace.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/whitespace.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/agda/agda-stdlib/whitespace.yml/master?enable=pin","Info:   0 out of   6 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   3 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-16T16:15:18.290Z","repository_id":13308570,"created_at":"2025-08-16T16:15:18.290Z","updated_at":"2025-08-16T16:15:18.290Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28844014,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-28T07:39:25.367Z","status":"ssl_error","status_checked_at":"2026-01-28T07:39:24.487Z","response_time":57,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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","library","proof"],"created_at":"2024-08-04T10:00:42.843Z","updated_at":"2026-01-28T10:32:01.298Z","avatar_url":"https://github.com/agda.png","language":"Agda","readme":"[![Ubuntu build](https://github.com/agda/agda-stdlib/actions/workflows/ci-ubuntu.yml/badge.svg)](https://github.com/agda/agda-stdlib/actions/workflows/ci-ubuntu.yml)\n\n[![Ubuntu build](https://github.com/agda/agda-stdlib/actions/workflows/ci-ubuntu.yml/badge.svg?branch=experimental)](https://github.com/agda/agda-stdlib/actions/workflows/ci-ubuntu.yml)\n\n[![DOI](https://joss.theoj.org/papers/10.21105/joss.09241/status.svg)](https://doi.org/10.21105/joss.09241)\n\nThe Agda standard library\n=========================\n\nThe standard library aims to contain all the tools needed to write both\nprograms and proofs easily. While we always try and write efficient\ncode, we prioritize ease of proof over type-checking and normalization\nperformance. If computational performance is important to you, then\nperhaps try [agda-prelude](https://github.com/UlfNorell/agda-prelude)\ninstead.\n\n## Getting started\n\nIf you're looking to find your way around the library, there are several\ndifferent ways to get started:\n\n- The library's structure and the associated design choices are described\nin the [README.agda](https://github.com/agda/agda-stdlib/tree/master/doc/README.agda).\n\n- The [README folder](https://github.com/agda/agda-stdlib/tree/master/doc/README),\nwhich mirrors the structure of the main library, contains examples of how to\nuse some of the more common modules. Feel free to [open a new issue](https://github.com/agda/agda-stdlib/issues/new) if there's a particular module you feel could do with\nsome more documentation.\n\n- You can [browse the library's source code](https://agda.github.io/agda-stdlib/)\nin glorious clickable HTML.\n\n## Installation instructions\n\n### Automated installation (currently experimental)\n\nOn Unix-style systems, it should be as simple as running the following command in\na shell:\n\n```shell\nsh -c \"$(curl --proto '=https' --tlsv1.2 -s https://raw.githubusercontent.com/agda/agda-stdlib/refs/heads/master/stdlib-install.sh)\"\n```\n\n### Manual installation\n\nSee the [installation instructions](https://github.com/agda/agda-stdlib/blob/master/doc/installation-guide.md) for the latest version of the standard library.\n\n#### Old versions of Agda\n\nIf you're using an old version of Agda, you can download the corresponding version\nof the standard library on the [Agda wiki](http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary).\nThe module index for older versions of the library is also available. For example,\nversion 1.7 can be found at https://agda.github.io/agda-stdlib/v1.7/, just\nreplace in the URL 1.7 with the version that you need.\n\n#### Development version of Agda\n\nIf you're using a development version of Agda rather than the latest official release,\nyou should use the `experimental` branch of the standard library rather than `master`.\n[Instructions for updating the `experimental` branch](https://github.com/agda/agda-stdlib/blob/master/doc/updating-experimental.txt).\nThe `experimental` branch contains non-backward compatible patches for upcoming\nchanges to the language.\n\n## Type-checking with flags\n\n#### The `--safe` flag\n\nMost of the library can be type-checked using the `--safe` flag. Please consult\n[GenerateEverything.hs](https://github.com/agda/agda-stdlib/blob/master/GenerateEverything.hs#L32-L82)\nfor a full list of modules that use unsafe features.\n\n#### The `--cubical-compatible` flag\n\nMost of the library can be type-checked using the `--cubical-compatible` flag, which since Agda v2.6.3 supersedes the former `--without-K` flag. Please consult\n[GenerateEverything.hs](https://github.com/agda/agda-stdlib/blob/master/GenerateEverything.hs#L91-L111)\nfor a full list of modules that use axiom K, requiring the `--with-K` flag.\n\n## Contributing to the library\n\nIf you would like to suggest improvements, feel free to use the `Issues` tab.\nEven better, if you would like to make the improvements yourself, we have instructions\nin [HACKING](https://github.com/agda/agda-stdlib/blob/master/HACKING.md) to help\nyou get started. For those who would simply like to help out, issues marked with\nthe [low-hanging-fruit](https://github.com/agda/agda-stdlib/issues?q=is%3Aopen+is%3Aissue+label%3Alow-hanging-fruit) tag are a good starting point.\n","funding_links":[],"categories":["Agda"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda-stdlib","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fagda%2Fagda-stdlib","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda-stdlib/lists"}