Topic Hub
#rocq-prover (5 Repositories)
Ranked open-source repositories tagged with #rocq-prover, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
80.1%
Avg Review Latency
22.7h
Filter by language
5 repositories tagged #rocq-prover
A TierOCOCaml 175
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
79.6%
Merge Rate
-
First Review
82%
1st-Timers
14
Maintainers
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