Search Packages

swiglpk

Simple swig bindings for the GNU Linear Programming Kit

funsor

Functional tensors for probabilistic programming

pythomata

A Python package for automata theory.

galgebra

Symbolic Geometric Algebra/Calculus package for SymPy.

mini-lambda

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

omega

Specify and synthesize systems using symbolic algorithms

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.

pyrddlgym-symbolic

pyRDDLGym-symbolic: Symbolic toolset for pyRDDLGym via XADD.

symop

Symbolic simulation framework for quantum optics.

egga

Symbolic Geometric Algebra with E-Graphs

latexexpr-efficalc

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

psrn

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

musicaiz

A python framework for symbolic music generation, evaluation and analysis

pysr-mcranmer

Simple and efficient symbolic regression