The OpenCog (hyper-)graph database and graph rewriting system
ACL2 System and Books as Maintained by the Community
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
A code rewrite tool for structural search and replace that supports ~every language.
Proof assistant based on the λΠ-calculus modulo rewriting
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.
Forwarder is a production-ready, fast MITM proxy with PAC support. It's suitable for debugging, intercepting and manipulating HTTP traffic. It's used as a core component of Sauce Labs Sauce Connect Proxy.
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
Rewrite text in linear time.
An efficient symbolic term rewriting engine
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
Algebraic simplification in Julia
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
a Rust implementation of first-order term rewriting systems (TRS)
Rewrite .NET assemblies to allow referencing of two different versions
PHP Classes, Libraries for projects
An idiomatic Go wrapper for Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
Add a description, image, and links to the rewriting topic page so that developers can more easily learn about it.
To associate your repository with the rewriting topic, visit your repo's landing page and select "manage topics."