Ross ROSS = Recommend OSS · open-source software intelligence for agents

Agda

Some data may be outdated — see provenance labels.

Agda is a dependently typed programming language / interactive theorem prover. observed · 2026-10-06

github.com/agda/agda · homepage · Haskell · NOASSERTION (other) observed · 2026-10-06

Health v2 · maintenance only

86/100

  • Activity 98
  • Release rhythm 63
  • Longevity 100

Flags: no_license

How is this computed?

round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.

  • gap_med: 217.0
  • age_days: 4091
  • days_rel: 37
  • days_push: 15
  • n_releases_24m: 3

Full methodology

Adoption not part of the score

2931 stars · 429 forks observed · 2026-10-06

Summary

No AI-extracted summary yet.

Member repositories

RepositoryRoleHealth v2
agda/agdamain86
agda/agda-language-serverplugin97

For agents

markdown · JSON · MCP: product_card(name="agda/agda")

Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem