← Back to organizations
agda

agda

github.com/agda ↗

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.

GitHub CopilotGitHub Copilot
3 PRs3 events

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