Symbolic Computation Python Packages

minikanren

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

skymarshal

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

pymbolic

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

symforce-sym

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

aeppl-nightly

Tools for an Aesara-based PPL.

aesara

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

symba

Symbolic computations

aesara-nightly

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

aemcmc-nightly

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

aeppl

Tools for an Aesara-based PPL.

sympy-plot-backends

An improved plotting module for SymPy

symbolica

A modern computer algebra library for Python and Rust.

symbolicdsge

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

py-nabla

∇ Nabla: A production-grade, LaTeX-first mathematical computing library for Python. Bridges symbolic and numeric analysis with a robust Earley Parser. 🚀

mechanicsdsl-core

A Domain-Specific Language and Transpiler for Classical Mechanics

xact-py

Python wrapper for XAct.jl — tensor algebra for general relativity

sympy-equation

Equations that can be algebraically manipulated.

rerum

RERUM - Rewriting Expressions via Rules Using Morphisms

aemcmc

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

pyrddlgym-symbolic

pyRDDLGym-symbolic: Symbolic toolset for pyRDDLGym via XADD.

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.

aehmc

HMC samplers in Aesara

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.