Topic Hub
#rocq (5 Repositories)
Ranked open-source repositories tagged with #rocq, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
64.2%
Avg Review Latency
22.7h
Filter by language
5 repositories tagged #rocq
A TierOCOCaml 460
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
68.8%
Merge Rate
5h
First Review
40%
1st-Timers
8
Maintainers
A TierC++ 168
bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
87.5%
Merge Rate
5d
First Review
100%
1st-Timers
1
Maintainers
B TierOCOCaml 209
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
71.4%
Merge Rate
-
First Review
100%
1st-Timers
2
Maintainers
B TierOCOCaml 249
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
93.3%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
C TierOCOCaml 276
formal-land/rocq-of-ocaml
Formal verification for OCaml, with Rocq
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers