Search Packages

pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

pyccel

Python extension language using accelerators

pytheory

Music Theory for Humans.

devito

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

sympy-plot-backends

An improved plotting module for SymPy

ampform

Automatically formulate symbolic amplitude models for Partial-Wave Analysis

sbmlmath

SBML MathML ↔ SymPy

algebra-with-sympy

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

sympytorch

Turning SymPy expressions into PyTorch modules.

symfit

Symbolic Fitting; fitting as it should be.

tensorwaves

Python fitter package for multiple computational back-ends

liesym

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

sympy2jax

Turn SymPy expressions into trainable JAX expressions.

py-nabla

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

qwed-finance

Deterministic verification middleware for banking and financial AI. NPV, IRR, loan amortization, and interest calculations with QWED precision.

qwed

The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.

essm

This package contains helpers to deal with physical variables and units.

simplipy

Efficient Simplification of Mathematical Expressions

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

ablina

A Python package for abstract linear algebra

arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

handyderivatives

Calc. on the command line - with LaTeX output.

symbeam

A pedagogical package for bending diagrams