Topic Hub
#rewriting (5 Repositories)
Ranked open-source repositories tagged with #rewriting, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
49.2%
Avg Review Latency
0.4h
Filter by language
5 repositories tagged #rewriting
A TierOCOCaml 406
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
79.5%
Merge Rate
-
First Review
50%
1st-Timers
5
Maintainers
B TierPython 112
sgaofen/humanizer-local-model
Rewrites AI drafts so they read like a person wrote them — runs locally, keeps the facts
100.0%
Merge Rate
2h
First Review
100%
1st-Timers
1
Maintainers
B 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.
66.7%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
C 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
0
Maintainers
D TierRust 2.1k
cloudflare/lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers