โ† Back to organizations

Total Stars

โญ 3.7K

Repos Tracked

3

PRs with AI Review

3

Bot Comments

0

AI Review Products#

AI code review products active on agda's repositories.

Languages#

AgdaHaskell

Repositories#

Repositories where AI bots review code.

Repositoryโญ StarsLanguageReviewed PRsBot Comments
agdaโ†—2,829Haskell10
agda-stdlibโ†—658Agda10
agda2hsโ†—202Agda10
agda โ€” AI Code Review Usage on GitHub โ€” Code Review Trends