verus-lang/verus

Stars

⭐ 3.4K

PRs Reviewed

11

Bot Comments

27

Primary Language

Rust

Merge Rate

54.5%

Avg Time to Merge

42h

Avg Additions

+103

Avg Deletions

-15

Avg Files Changed

3