rewriting

A code rewrite tool for structural search and replace that supports ~every language.

Low output latency streaming HTML parser/rewriter with CSS selector-based API

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. Inspired by Wolfram Language built-in functions.

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.

Algebraic simplification in Julia

📜 Rewrite text in linear time.

A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!

An efficient symbolic term rewriting engine

A simple program reducer for any language.

[toy] A rewriting language similar to the core of Mathematica

the best structural search and replace tool for JavaScript, Flow, and TypeScript

URL rewriting for Golang

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Rewrite .NET assemblies to allow referencing of two different versions

unofficial Go bindings to Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)

a Rust implementation of first-order term rewriting systems (TRS)

A small discord bot with image manipulation and utility features.