← Back to organizations
ucsd-progsys
github.com/ucsd-progsys ↗Total Stars
⭐ 1.5K
Repos Tracked
2
PRs with AI Review
5
Bot Comments
15
AI Review Products#
AI code review products active on ucsd-progsys's repositories.
Languages#
Haskell
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| liquidhaskell↗ | 1,306 | Haskell | 3 | 12 |
| liquid-fixpoint↗ | 160 | Haskell | 2 | 3 |