Topic Hub
#hol4 (1 Repositories)
Ranked open-source repositories tagged with #hol4, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
72.1%
Avg Review Latency
18.3h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #hol4
A TierOCOCaml 921 2 GFIs
AeneasVerif/aeneas
A verification toolchain for Rust programs
72.1%
Merge Rate
18h
First Review
63%
1st-Timers
26
Maintainers