← Back to repositories

runtimeverification/kontrol

github.com/runtimeverification/kontrol ↗

Python

Stars

⭐ 115

PRs Reviewed

3

Bot Comments

9

Primary Language

Python

Merge Rate

33.3%

Avg Time to Merge

3d

Avg Additions

+4.4K

Avg Deletions

-1.9K

Avg Files Changed

23

AI Review Products#

AI code review products active on this repository.