agda/agda-stdlib
Grade a repo

0

/ 100

GradeD

Popular for its size, but the engineering basics lag behind the interest.

The Agda standard library

Documentation85
Engineering54
Health68
Agda667Othertoday

Documentation

85

Contributing guide5pt25

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.

Install and run instructions9pt90

README documents how to install the project.

README12pt100

README is present.

License6pt100

Licensed under Other.

Engineering

54

Linting and formatting5pt0

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.

Reproducibility6pt0

No dependency lockfile found (−70 pts).

→ Commit the lockfile for this project's package manager so installs produce the same dependency versions everywhere.

Issue and PR templates6pt0

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.

Tests18pt80

Test files detected (src/Test).

CI/CD14pt85

CI is configured (.github/workflows/ci-ubuntu.yml).

Project health

68

Dependency manifest6pt0

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 metadata5pt100

Repository has a description.

Activity5pt100

Actively maintained (pushed within the last month).

Housekeeping3pt100

.gitignore present.

Repository health signals

Activity, community, and responsiveness at scan time

Activity

  • -
    Commits (30d / 90d)
  • 270
    Forks
  • 17
    Releaseslatest 3y ago

Community

  • -
    Community health
  • -
    authors own >50% of commits
  • 667
    Watchers

Responsiveness

  • 20h
    Median issue response
  • 9h
    Median PR merge time
  • 352
    Open issues
Repository files39 root entries
  • .github
    Good: CI is configured (.github/workflows/ci-ubuntu.yml).
  • CHANGELOG
  • dev
  • doc
  • src
    Good: Test files detected (src/Test).
  • tests
  • .boring
  • .gitattributes
  • .gitignore
    Good: .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
  • LICENCE
    Good: Licensed under Other.
  • publish-listings.sh
  • README.md
    Good: 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