Topic Hub
#vscodium (1 Repositories)
Ranked open-source repositories tagged with #vscodium, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
77.8%
Avg Review Latency
3.7h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #vscodium
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