← Back to organizations
apalache-mc

apalache-mc

github.com/apalache-mc ↗

Total Stars

⭐ 576

Repos Tracked

1

PRs with AI Review

7

Bot Comments

10

AI Review Products#

AI code review products active on apalache-mc's repositories.

GitHub CopilotGitHub Copilot
7 PRs7 events

Languages#

Scala

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
apalache↗576Scala710