← Back to organizations
Project-Navi
github.com/Project-Navi ↗Total Stars
⭐ 50
Repos Tracked
10
PRs with AI Review
46
Bot Comments
130
👍 Thumbs Up
2
👎 Thumbs Down
0
❤️ Hearts
0
AI Review Products#
AI code review products active on Project-Navi's repositories.
Languages#
RustJupyter NotebookLeanPython
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| ordvec↗ | 21 | Rust | 1 | 5 |
| navi-creative-determinant↗ | 6 | Jupyter Notebook | 4 | 7 |
| grippy-code-review↗ | 4 | Python | 6 | 18 |
| fd-formalization↗ | 3 | Lean | 1 | 0 |
| navi-SAD↗ | 3 | Python | 7 | 10 |
| navi-bootstrap↗ | 3 | Python | 11 | 49 |
| repo↗ | 3 | Python | 1 | 0 |
| takens-formalization↗ | 3 | Lean | 4 | 0 |
| cd-formalization↗ | 2 | Lean | 1 | 0 |
| navi-sanitize↗ | 2 | Python | 10 | 41 |