Rewriting Collection

◆

◆

◆

◆

📦Normal

★★

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

◆

◆

◆

◆

⚙️Steel

★★

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

◆

◆

◆

◆

🔥Fire

★★

“The OpenCog (hyper-)graph database and graph rewriting system”

◆

◆

◆

◆

📦Normal

★★

“说人话｜中文优先的去 AI 味改写 skill：保事实、分场景、改完可直接发。Chinese-first rewrite skill for Codex / Claude Code / Cursor / ChatGPT — removes AI tone, preserves facts.”

◆

◆

◆

◆

⚡Thunder

★

“:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java. ”

◆

◆

◆

◆

📦Normal

★

“ACL2 System and Books as Maintained by the Community”

◆

◆

◆

◆

📦Normal

★

“Proof assistant based on the λΠ-calculus modulo rewriting”

◆

◆

◆

◆

🌊Water

★

“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.”

◆

◆

◆

◆

📦Normal

★

“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.”

◆

◆

◆

◆

💎Aqua

★

“Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring”

◆

◆

◆

◆

🔮Psychic

★

“AIGC 检测论文 AI 降率工具 - Claude Code Skill for academic paper AI detection and rewriting”

◆

◆

◆

◆

💎Aqua

★

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

◆

◆

◆

◆

📦Normal

★

“Algebraic simplification in Julia”

◆

◆

◆

◆

⚡Electric

★

“Rewrite text in linear time.”

◆

◆

◆

◆

⚡Electric

★

“A simple program reducer for any language.”

◆

◆

◆

◆

📦Normal

★

“An efficient symbolic term rewriting engine”

◆

◆

◆

◆

📦Normal

★

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