Repository Head-to-Head

ocaml/dune vs rocq-prover/opam

Objective C-Rank™ telemetry comparison benchmarked across PR merge rates, reviewer latency, maintainer breadth, and newcomer hospitality.

Export & Share
Should I Contribute? Showdown Verdict
ocaml/dune Wins

External PR Merge Rate

86.6%vs82.8%

Median Review Latency

0.0hvs0.0h

90-Day Bus Factor

32vs13

Verdict computed from external PR merge rate, median review latency, and 90-day bus factor; ties broken by recent commit (PR) velocity. View share card image

OCamlA Tier (68%)

ocaml/dune

A composable build system for OCaml.

External PR Merge Rate86.6%
Review Latency (p50)0.0h
90-Day Bus Factor32 Maintainers
Onboarding Readiness0/100
OCamlA Tier (66%)

rocq-prover/opam

Archive for all Rocq and Coq-related opam packages organized in various repositories

External PR Merge Rate82.8%
Review Latency (p50)0.0h
90-Day Bus Factor13 Maintainers
Onboarding Readiness0/100