rewriting topic
ssfst
Rewrite text in linear time.
comby
A code rewrite tool for structural search and replace that supports ~every language.
lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
atomspace
The OpenCog (hyper-)graph database and graph rewriting system
acl2
ACL2 System and Books as Maintained by the Community
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
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, claus...
mitmproxy-node
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
comby-reducer
A simple program reducer for any language.
Simplify.jl
Algebraic simplification in Julia