Symbolic-Computation

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.

symlik: Symbolic Likelihood Models in Python

Introducing symlik - define statistical models symbolically and automatically derive score functions, Hessians, and Fisher information.

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.

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