Total Stars
⭐ 573
Repos Tracked
3
PRs with AI Review
8
Bot Comments
18
AI Review Products#
AI code review products active on sdiehl's repositories.
Languages#
RustLean
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| typechecker-zoo↗ | 430 | Rust | 3 | 10 |
| zero-to-qed↗ | 114 | Lean | 4 | 8 |
| compiler-crates↗ | 29 | Rust | 1 | 0 |