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

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.

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.

symba

Symbolic computations

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.

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

aemcmc

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

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

Native Julia port of the xAct (xact.es) tensor algebra suite for general relativity — canonicalization, contraction, covariant derivatives, perturbation theory, and Riemann invariants

neuro-symbolic-core

A Python-based neuro-symbolic AI framework combining neural networks and symbolic logic. Implements custom tensors with autograd, neural layers, logic ASTs, and an interpreter to learn from facts and rules. Supports training, inference, and command-line execution without deep learning libraries.

mantis-delta

A Python library for Chemical Reaction Network Theory (CRNT) bridging network topology with symbolic mass-action kinetics and algebraic stability certification.

sympy-equation

Equations supporting mathematical operations for SymPy

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.