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.
REPL
Browse posts by tag
Browse posts by tag
A powerful symbolic expression toolkit for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.