Repository Head-to-Head
Deducteam/lambdapi vs ocamllabs/vscode-ocaml-platform
Objective C-Rank™ telemetry comparison benchmarked across PR merge rates, reviewer latency, maintainer breadth, and newcomer hospitality.
Export & Share•Share head-to-head metrics on GitHub or social media
Should I Contribute? Showdown Verdict
ocamllabs/vscode-ocaml-platform WinsExternal PR Merge Rate
79.8%vs88.9%
Median Review Latency
0.0hvs0.0h
90-Day Bus Factor
9vs12
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
OCamlS Tier (71%)
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
External PR Merge Rate79.8%
Review Latency (p50)0.0h
90-Day Bus Factor9 Maintainers
Onboarding Readiness0/100
OCamlS Tier (71%)
ocamllabs/vscode-ocaml-platform
Visual Studio Code extension for OCaml
External PR Merge Rate88.9%
Review Latency (p50)0.0h
90-Day Bus Factor12 Maintainers
Onboarding Readiness0/100