Pattern-Matching

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

AlgoTree: Immutable Trees with Functional Transformers

An immutable-by-default tree library for Python with composable transformations, pipe-based pipelines, and pattern-matching selectors.

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.