Topic Hub
#dafny (1 Repositories)
Ranked open-source repositories tagged with #dafny, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
94.9%
Avg Review Latency
63.0h
Filter by language
Rankings/rankings/rust
1 repositories tagged #dafny
A TierRust 57
jasisz/aver
Aver is a programming language for auditable AI-written code
94.9%
Merge Rate
3d
First Review
50%
1st-Timers
2
Maintainers