runtimeverification/hs-backend-booster

Stars

⭐ 7

PRs Reviewed

4

Bot Comments

0

Primary Language

Haskell

Merge Rate

100.0%

Avg Time to Merge

2w

Avg Additions

+2.8K

Avg Deletions

-140

Avg Files Changed

14