โ† Back to organizations

Total Stars

โญ 1.1K

Repos Tracked

14

PRs with AI Review

44

Bot Comments

188

๐Ÿ‘ Thumbs Up

10

๐Ÿ‘Ž Thumbs Down

0

โค๏ธ Hearts

0

AI Review Products#

AI code review products active on runtimeverification's repositories.

Languages#

PythonRustWebAssemblyTypeScriptC++HaskellJavaScript

Repositories#

Repositories where AI bots review code.

Repositoryโญ StarsLanguageReviewed PRsBot Comments
kโ†—568Python60
haskell-backendโ†—223Haskell45
kontrolโ†—115Python39
simbolik-vscodeโ†—48TypeScript954
mir-semanticsโ†—43Python615
llvm-backendโ†—42C++364
kometโ†—35WebAssembly15
stable-mir-jsonโ†—10Rust212
hs-backend-boosterโ†—7Haskell40
riscv-semanticsโ†—6Python12
eslint-config-rv-web-nestjsโ†—0JavaScript10
gitbook-kaasโ†—0โ€”119
gitbook-simbolikโ†—0โ€”22
solana-tokenโ†—0Rust11
runtimeverification โ€” AI Code Review Usage on GitHub โ€” Code Review Trends