runtimeverification/komet

Stars

⭐ 35

PRs Reviewed

1

Bot Comments

5

Primary Language

WebAssembly

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+732

Avg Deletions

-20

Avg Files Changed

13