Symbolic Computation Python Packages

minikanren

An extensible, lightweight relational/logic programming DSL written in pure Python

pymbolic

A simple package to do symbolic math (focus on code gen and DSLs)

skymarshal

Fast symbolic computation, code generation, and nonlinear optimization for robotics

aesara

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics

aeppl

Tools for an Aesara-based PPL.

symforce-sym

Fast symbolic computation, code generation, and nonlinear optimization for robotics

symba

Symbolic computations

aeppl-nightly

PPL tools for Aesara

aemcmc-nightly

Miscellaneous MCMC samplers written in Aesara

aesara-nightly

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

symbolicdsge

A linear DSGE engine with a fully symbolic and modifiable model backend. Includes regression-based equation augmentation capabilities.

sympy-plot-backends

An improved plotting module for SymPy

symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

layercake-model

LayerCake is a framework to design systems of partial differential equations (PDEs), and convert them to ordinary differential equations (ODEs) via Galerkin-type expansions.

ries-rs

High-performance Rust reimplementation of Robert Munafo’s RIES (RILYBOT Inverse Equation Solver). Given any target number, it discovers elegant algebraic expressions and equations that evaluate exactly to it — now with parallel search, PSLQ integer relations, Python bindings, and WebAssembly support.

mechanicsdsl-core

Domain-specific language and compiler for physical systems. Write a Lagrangian, get a simulation. Thirteen code generation backends, built on SymPy.

aehmc

HMC samplers in Aesara

mantis-delta

Mass-Action Network Theory, Inference, and Stability — structural and numerical analysis of chemical reaction networks

rerum

RERUM - Rewriting Expressions via Rules Using Morphisms. A pattern matching and term rewriting library for symbolic computation.

logic-loom

a compiler that understands mathematics

aemcmc

Miscellaneous MCMC samplers written in Aesara

mcp-sympy

MCP server that exposes SymPy's symbolic mathematics functionality

pyrddlgym-symbolic

pyRDDLGym-symbolic: Symbolic toolset for pyRDDLGym via XADD.