Symbolic Python Packages

swiglpk

Simple swig bindings for the GNU Linear Programming Kit

funsor

Functional tensors for probabilistic programming

pythomata

A Python package for automata theory.

omega

Specify and synthesize systems using symbolic algorithms

galgebra

Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:

mini-lambda

Simple lambda functions without `lambda x:` prefix and with string conversion capability.

latexexpr-efficalc

Modified module for easy LaTeX typesetting of algebraic expressions in symbolic form with automatic substitution and result computation.

egga

Symbolic Geometric Algebra with E-Graphs

pyrddlgym-symbolic

pyRDDLGym-symbolic: Symbolic toolset for pyRDDLGym via XADD.

symdiff

Symbolic differentation of algebraic expressions with Python and Tcl interfaces.

polymat

A Python library designed for the representation and manipulation of multivariate polynomial matrices.

oscilate

The OSCILATE project allows the application of the Method of Multiple Scales to systems of coupled nonlinear equations

musicaiz

A python framework for symbolic music generation, evaluation and analysis

psrn

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

symop

Symbolic simulation framework for quantum optics.

pysr-mcranmer

High-Performance Symbolic Regression in Python and Julia