A code rewrite tool for structural search and replace that supports ~eve...
Low output latency streaming HTML parser/rewriter with CSS selector-base...
The OpenCog (hyper-)graph database and graph rewriting system
:coffee: Symja - computer algebra language & symbolic math library. A c...
ACL2 System and Books as Maintained by the Community
Forwarder is a production-ready, fast MITM proxy with PAC support. It's ...
An automatic theorem prover in OCaml for typed higher-order logic with e...
A bridge between Python's mitmproxy and Node.JS programs. Rewrite networ...
Super powerful structural search and replace for JavaScript and TypeScri...
Algebraic simplification in Julia
Rewrite text in linear time.
An efficient symbolic term rewriting engine
A simple program reducer for any language.
[toy] A rewriting language similar to the core of Mathematica
URL rewriting for Golang