Topic Hub
#rocq (4 Repositories)
Ranked open-source repositories tagged with #rocq, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
61.5%
Avg Review Latency
144.1h
Filter by language
Rankings/rankings/ocaml
4 repositories tagged #rocq
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
D TierOCOCaml 274
formal-land/rocq-of-ocaml
Formal verification for OCaml, with Rocq
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers