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
OpenSSF Scorecard report
5.8
Overall Score
Security Checks
no binaries found in the repo
Determines if the project has generated executable (binary) artifacts in the source repository.
all changesets reviewed
Determines if the project requires human code review before pull requests (aka merge requests) are merged.
no dangerous workflow patterns detected
Determines if the project's GitHub Action workflows avoid dangerous patterns.
30 commit(s) and 10 issue activity found in the last 90 days -- score normalized to 10
Determines if the project is "actively maintained".
0 existing vulnerabilities detected
Determines if the project has open, known unfixed vulnerabilities.
license file detected
Determines if the project has defined a license.
Show details
no effort to earn an OpenSSF best practices badge detected
Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.
project is not fuzzed
Determines if the project uses fuzzing.
Show details
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
SAST tool is not run on all commits -- score normalized to 0
Determines if the project uses static code analysis.
Show details
security policy file not detected
Determines if the project has published a security policy.
Show details
detected GitHub workflow tokens with excessive permissions
Determines if the project's workflows follow the principle of least privilege.
Show details
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.
packaging workflow not detected
Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.