← Back to organizations
agda

agda

github.com/agda ↗

Total Stars

⭐ 3.8K

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,892Haskell10
agda-stdlib↗671Agda10
agda2hs↗209Agda10