Term-Rewriting

Browse posts by tag

December 16, 2025

Rerum: A Pattern Matching and Term Rewriting Library

Introducing rerum - a Python library for symbolic computation with a readable DSL, powerful pattern matching, and a security-conscious architecture that separates rules from computation.

Programming Languages Developer Tools

November 30, 2025

XTK: Expression Toolkit for Symbolic Computation

A powerful symbolic expression toolkit for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.

computer-science mathematics

April 19, 2025

Term-Rewriting

Rerum: A Pattern Matching and Term Rewriting Library

XTK: Expression Toolkit for Symbolic Computation

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