0
/ 100
Popular for its size, but the engineering basics lag behind the interest.
The Agda standard library
A low grade is a to-do list, not a judgment of your code
Most gaps here are documentation, tests, and setup, not the code itself. Closing your top 3 gaps alone would lift this repo to C (73).
See your top fixesTop fixes
Highest-impact changes first, ranked by point weight
- 1Tests18pt
Wire your tests to a documented command (e.g. a test script in your build config) so the suite is reproducible.
- 2CI/CD14pt
Add a lint step to catch style issues automatically.
- 3CI/CD14pt
Add `tsc --noEmit`, `mypy`, or `cargo check` to catch type errors before they merge.
- 4CI/CD14pt
Upload coverage to Codecov, Coveralls, or report it with `--coverage` flags.
Working through the fixes? Let every push regrade itself.
The free GitHub App rescans this repo on every push and posts the grade as a commit check, so the score climbs without coming back to rescan by hand.
Scorecard
Every check, grouped by category and sorted worst-first
Documentation
85
Contributing guidance is in the README, not a dedicated CONTRIBUTING.md (−20 pts).
→ Moving it to a CONTRIBUTING.md makes it easier to find and keeps the README focused. A dedicated file earns +47 pts base.
README documents how to install the project.
README is present.
Licensed under Other.
Engineering
54
No linter or formatter config found.
→ Add a linter config such as .eslintrc.json, .prettierrc, ruff.toml, or .golangci.yml to enforce consistent code style.
No dependency lockfile found (−70 pts).
→ Commit the lockfile for this project's package manager so installs produce the same dependency versions everywhere.
No issue or PR templates found (−100 pts).
→ Add .github/ISSUE_TEMPLATE/ with bug_report.md and feature_request.md to guide contributors. It dramatically improves issue quality.
Test files detected (src/Test).
CI is configured (.github/workflows/ci-ubuntu.yml).
Project health
68
No dependency manifest detected at root.
→ Add a manifest (package.json, pyproject.toml, Cargo.toml, go.mod, etc.) so others can install dependencies in one command.
Repository has a description.
Actively maintained (pushed within the last month).
.gitignore present.
Repository health signals
Activity, community, and responsiveness at scan time
Activity
- -Commits (30d / 90d)
- 270Forks
- 17Releaseslatest 3y ago
Community
- -Community health
- -authors own >50% of commits
- 667Watchers
Responsiveness
- 20hMedian issue response
- 9hMedian PR merge time
- 352Open issues
Repository files39 root entries
- .githubGood: CI is configured (.github/workflows/ci-ubuntu.yml).
- CHANGELOG
- dev
- doc
- srcGood: Test files detected (src/Test).
- tests
- .boring
- .gitattributes
- .gitignoreGood: .gitignore present.
- .mailmap
- agda-stdlib-utils.cabal
- AllNonAsciiChars.hs
- cabal.haskell-ci
- CHANGELOG.md
- CITATION.cff
- fix-whitespace.yaml
- GenerateEverything.hs
- GNUmakefile
- graph.sh
- HACKING.md
- Header
- LICENCEGood: Licensed under Other.
- publish-listings.sh
- README.mdGood: README is present.Good: README is well structured with multiple sections.Good: README includes screenshots or visuals. Great for first impressions.Good: README has code examples.Good: README links to a live demo or deployed app.Good: README includes status badges.Good: README documents how to install the project.Good: README documents how to run the project.
- Setup.hs
- stack-8.0.2.yaml
- stack-8.10.7.yaml
- stack-8.2.2.yaml
- stack-8.4.4.yaml
- stack-8.6.5.yaml
- stack-8.8.4.yaml
- stack-9.0.2.yaml
- stack-9.10.3.yaml
- stack-9.12.4.yaml
- stack-9.2.8.yaml
- stack-9.4.8.yaml
- stack-9.6.7.yaml
- standard-library.agda-lib
- stdlib-install.sh
Add this badge to your README
It updates automatically each time the repo is re-graded.
[](https://www.repo-grade.com/report/agda/agda-stdlib)