Term Rewriting

Rerum: Pattern Matching and Term Rewriting in Python

A Python library for symbolic computation with a readable DSL, pattern matching, and a security model that separates rules from computation.

XTK: A Symbolic Expression Toolkit for Term Rewriting

A Python library for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.

Xtk: A Rule-Based Expression Rewriting Toolkit for Symbolic Computation

How to Teach a Computer Calculus with Pattern Matching

Define patterns, define replacements, repeat until done. Watch a 90-line rewrite engine learn to differentiate.