Symbolic Computation Python Packages

minikanren

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

aesara

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

pymbolic

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

aeppl

Tools for an Aesara-based PPL.

aeppl-nightly

Tools for an Aesara-based PPL.

skymarshal

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

symforce

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

symforce-sym

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

aemcmc-nightly

AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.

aesara-nightly

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

symba

Symbolic computations

symbulator

Symbolic linear-circuit analysis engine, built on SymPy

symbolicdsge

A first and second-order DSGE engine with a fully symbolic and modifiable model backend. Includes estimation, monte carlo pipeline costruction, and regression-based equation augmentation capabilities

sagemath-mcp

Stateful SageMath MCP server: 40 tools for symbolic math, algebra, number theory, graphs, plotting and claim verification. A persistent Sage session per client, an AST policy in front of it, and a hardened container as the real boundary.

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.

sympy-plot-backends

An improved plotting module for SymPy

aehmc

An HMC/NUTS implementation in Aesara

eqbool

Testing boolean expressions for equivalence

pytpg

pyTPG — A modern, modular Python framework for Tangled Program Graphs. Install with `pip install pytpg`.

psrn

[𝐍𝐚𝐭𝐮𝐫𝐞 𝐂𝐨𝐦𝐩𝐮𝐭𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐒𝐜𝐢𝐞𝐧𝐜𝐞] ⚡️ PSE/PSRN: Fast and efficient symbolic expression discovery through parallelized symbolic enumeration. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.

mechanicsdsl-core

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

mcp-sympy

MCP server that exposes SymPy's symbolic mathematics functionality

vargraph

A Python library for modeling graphs with symbolic edge weights.

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.