← Back to organizations
mit-pdos

mit-pdos

github.com/mit-pdos ↗

Total Stars

⭐ 10.0K

Repos Tracked

2

PRs with AI Review

3

Bot Comments

12

AI Review Products#

AI code review products active on mit-pdos's repositories.

GitHub CopilotGitHub Copilot
3 PRs3 events

Languages#

CRocq Prover

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
xv6-riscv↗10,043C210
pav↗2Rocq Prover12
mit-pdos — AI Code Review Usage on GitHub — Code Review Trends