Topic Hub
#rocq-prover (4 Repositories)
Ranked open-source repositories tagged with #rocq-prover, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
82.2%
Avg Review Latency
153.0h
Filter by language
Rankings/rankings/ocaml
4 repositories tagged #rocq-prover
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
A TierOCOCaml 460 1 GFIs
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
77.8%
Merge Rate
4h
First Review
67%
1st-Timers
16
Maintainers
B TierOCOCaml 244
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
94.1%
Merge Rate
24d
First Review
100%
1st-Timers
0
Maintainers
B TierOCOCaml 208
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
73.9%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers