← Back to organizations
runtimeverification
github.com/runtimeverification ↗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 | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| k↗ | 568 | Python | 6 | 0 |
| haskell-backend↗ | 223 | Haskell | 4 | 5 |
| kontrol↗ | 115 | Python | 3 | 9 |
| simbolik-vscode↗ | 48 | TypeScript | 9 | 54 |
| mir-semantics↗ | 43 | Python | 6 | 15 |
| llvm-backend↗ | 42 | C++ | 3 | 64 |
| komet↗ | 35 | WebAssembly | 1 | 5 |
| stable-mir-json↗ | 10 | Rust | 2 | 12 |
| hs-backend-booster↗ | 7 | Haskell | 4 | 0 |
| riscv-semantics↗ | 6 | Python | 1 | 2 |
| eslint-config-rv-web-nestjs↗ | 0 | JavaScript | 1 | 0 |
| gitbook-kaas↗ | 0 | — | 1 | 19 |
| gitbook-simbolik↗ | 0 | — | 2 | 2 |
| solana-token↗ | 0 | Rust | 1 | 1 |