← Back to organizations
informalsystems
github.com/informalsystems ↗Total Stars
⭐ 2.3K
Repos Tracked
7
PRs with AI Review
76
Bot Comments
152
AI Review Products#
AI code review products active on informalsystems's repositories.
Languages#
GoRustTypeScript
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| quint↗ | 1,523 | TypeScript | 15 | 22 |
| tendermint-rs↗ | 670 | Rust | 1 | 0 |
| hermes-sdk↗ | 52 | Rust | 2 | 1 |
| ibc-starknet↗ | 20 | Rust | 13 | 25 |
| hydro↗ | 12 | Rust | 41 | 89 |
| hydro-bid-descriptions↗ | 1 | — | 2 | 11 |
| deployment-tracking↗ | 0 | Go | 2 | 4 |