← Back to organizations
alok

alok

github.com/alok ↗

Total Stars

⭐ 16

Repos Tracked

2

PRs with AI Review

3

Bot Comments

14

AI Review Products#

AI code review products active on alok's repositories.

EllipsisEllipsis
2 PRs2 events
ClaudeClaude
1 PRs1 events
CodeRabbitCodeRabbit
1 PRs1 events

Languages#

LeanPython

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
LeanPlot↗16Lean212
nanograd↗0Python12