Sympy Python Packages

pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

25K 98 7

pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

20K 54 7

qwed

Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

18K 60 13

sbmlmath

SBML MathML ↔ SymPy

13K 9 1

pyccel

Python extension language using accelerators

11K 398 63

devito

DSL and compiler framework for automated finite-differences and stencil computation

9K 716 263

symbulator

Symbolic linear-circuit analysis engine, built on SymPy

8K 0 1

simplipy

Efficient Simplification of Mathematical Expressions

5K 5 0

symfit

Symbolic Fitting; fitting as it should be.

5K 242 19

ampform

Automatically formulate symbolic amplitude models for Partial-Wave Analysis

4K 13 6

algebra-with-sympy

Tools for doing stepwise algebra in an on paper like manner using SymPy.

3K 19 3

pytheory

Music Theory for Humans.

3K 2K 84

sympy-plot-backends

An improved plotting module for SymPy

3K 53 15

tensorwaves

Python fitter package for multiple computational back-ends

2K 10 5

sympytorch

Turning SymPy expressions into PyTorch modules.

2K 161 20

torchsympy

SymPy-to-Torch conversion and numerical integration helpers.

2K 0 0

liesym

Lie Algebras using Sympy and backend powered by Rust's pyO3 and ndarray

1K 14 4

feynlag

feynlag is a pure-SymPy Python library for extracting tree-level Feynman rules from BSM Lagrangians. It automates the pipeline from declaring fields/gauge groups all the way to UFO export (MadGraph-compatible)

1K 0 0

qwed-finance

Deterministic verification layer for AI-generated financial decisions. Verifies math (NPV, IRR, Black-Scholes, YTM, VaR), compliance (AML/KYC via Z3), and banking schemas (ISO 20022, SWIFT) — fail-closed, proof-backed. Not execution. Verification.

1K 3 4