Topic Hub
#extension-language (1 Repositories)
Ranked open-source repositories tagged with #extension-language, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
73.8%
Avg Review Latency
11.2h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #extension-language
A TierOCOCaml 194
LPCIC/coq-elpi
Rocq plugin embedding Elpi
73.8%
Merge Rate
11h
First Review
54%
1st-Timers
17
Maintainers