Topic Hub
#opam-repository (1 Repositories)
Ranked open-source repositories tagged with #opam-repository, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
82.8%
Avg Review Latency
35.5h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #opam-repository
A TierOCOCaml 172
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
82.8%
Merge Rate
1d
First Review
96%
1st-Timers
13
Maintainers