Topic Hub
#computer-science-algorithms (1 Repositories)
Ranked open-source repositories tagged with #computer-science-algorithms, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
70.0%
Avg Review Latency
440.1h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #computer-science-algorithms
C TierOCOCaml 166
sneeuwballen/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
70.0%
Merge Rate
18d
First Review
50%
1st-Timers
1
Maintainers