Topic Hub
#lambda-prolog (1 Repositories)
Ranked open-source repositories tagged with #lambda-prolog, 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 #lambda-prolog
A TierOCOCaml 194
LPCIC/coq-elpi
Rocq plugin embedding Elpi
73.8%
Merge Rate
11h
First Review
54%
1st-Timers
17
Maintainers