December 16, 2025
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.
Browse posts by tag
A Python library for symbolic computation with a readable DSL, pattern matching, and a security model that separates rules from computation.