Topic Hub
#rewriting (3 Repositories)
Ranked open-source repositories tagged with #rewriting, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
49.9%
Avg Review Latency
147.1h
Filter by language
Rankings/rankings/ocaml
3 repositories tagged #rewriting
S TierOCOCaml 398
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
79.8%
Merge Rate
1h
First Review
67%
1st-Timers
9
Maintainers
B TierOCOCaml 2.7k
comby-tools/comby
A code rewrite tool for structural search and replace that supports ~every language.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
1
Maintainers
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