← Back to repositories

matthias-brun/verified-nrkernel

github.com/matthias-brun/verified-nrkernel ↗

Rust

Stars

⭐ 24

PRs Reviewed

1

Bot Comments

10

Primary Language

Rust

Merge Rate

100.0%

Avg Time to Merge

26h

Avg Additions

+906

Avg Deletions

-135

Avg Files Changed

7

AI Review Products#

AI code review products active on this repository.