← Back to repositories

apalache-mc/apalache

github.com/apalache-mc/apalache ↗

Scala

Stars

⭐ 578

PRs Reviewed

7

Bot Comments

10

Primary Language

Scala

Merge Rate

71.4%

Avg Time to Merge

42h

Avg Additions

+260

Avg Deletions

-140

Avg Files Changed

5

AI Review Products#

AI code review products active on this repository.