Topic Hub
#why3 (1 Repositories)
Ranked open-source repositories tagged with #why3, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
85.7%
Avg Review Latency
2.6h
Filter by language
Rankings/rankings/rust
1 repositories tagged #why3
S TierRust 1.8k 1 GFIs
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
85.7%
Merge Rate
3h
First Review
67%
1st-Timers
5
Maintainers