An open API service providing repository metadata for many open source software ecosystems.

GitHub / agda / agda-stdlib

The Agda standard library

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib
PURL: pkg:github/agda/agda-stdlib

Stars: 624
Forks: 256
Open issues: 320

License: other
Language: Agda
Size: 572 MB
Dependencies parsed at: Pending

Created at: over 11 years ago
Updated at: 8 days ago
Pushed at: about 1 month ago
Last synced at: 1 day ago

Commit Stats

Commits: 3051
Authors: 157
Mean commits per author: 19.43
Development Distribution Score: 0.612
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/agda/agda-stdlib

Topics: agda, library, proof

OpenSSF Scorecard report

5.8

Overall Score

10/10 Critical Risk
40/50 High Risk
0/40 Medium Risk
9/20 Low Risk
Generated on August 11, 2025 | Scorecard vv5.2.1-40-gf6ed084d
Security Checks
10/10
Binary-Artifacts
High Risk

no binaries found in the repo

Determines if the project has generated executable (binary) artifacts in the source repository.

10/10
Code-Review
High Risk

all changesets reviewed

Determines if the project requires human code review before pull requests (aka merge requests) are merged.

10/10
Dangerous-Workflow
Critical Risk

no dangerous workflow patterns detected

Determines if the project's GitHub Action workflows avoid dangerous patterns.

10/10
Maintained
High Risk

30 commit(s) and 10 issue activity found in the last 90 days -- score normalized to 10

Determines if the project is "actively maintained".

10/10
Vulnerabilities
High Risk

0 existing vulnerabilities detected

Determines if the project has open, known unfixed vulnerabilities.

9/10
License
Low Risk

license file detected

Determines if the project has defined a license.

Show details
ℹ️ Info: project has a license file: LICENCE:0
⚠️ Warn: project license file does not contain an FSF or OSI license.
0/10
CII-Best-Practices
Low Risk

no effort to earn an OpenSSF best practices badge detected

Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.

0/10
Fuzzing
Medium Risk

project is not fuzzed

Determines if the project uses fuzzing.

Show details
⚠️ Warn: no fuzzer integrations found
0/10
Pinned-Dependencies
Medium Risk

dependency not pinned by hash detected -- score normalized to 0

Determines if the project has declared and pinned the dependencies of its build process.

Show 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
0/10
SAST
Medium Risk

SAST tool is not run on all commits -- score normalized to 0

Determines if the project uses static code analysis.

Show details
⚠️ Warn: 0 commits out of 30 are checked with a SAST tool
0/10
Security-Policy
Medium Risk

security policy file not detected

Determines if the project has published a security policy.

Show 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
0/10
Token-Permissions
High Risk

detected GitHub workflow tokens with excessive permissions

Determines if the project's workflows follow the principle of least privilege.

Show 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
N/A
Branch-Protection
Not Applicable

internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration

Determines if the default and release branches are protected with GitHub's branch protection settings.

N/A
Packaging
Not Applicable

packaging workflow not detected

Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.

Show details
⚠️ Warn: no GitHub/GitLab publishing workflow detected.
N/A
Signed-Releases
Not Applicable

no releases found

Determines if the project cryptographically signs release artifacts.