PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
pythological
minikanren

An extensible, lightweight relational/logic programming DSL written in pure Python

816K 242 21
symforce-org
skymarshal

Fast symbolic computation, code generation, and nonlinear optimization for robotics

54K 2K 167
inducer
pymbolic

A simple package to do symbolic math (focus on code gen and DSLs)

49K 127 27
symforce-org
symforce-sym

Fast symbolic computation, code generation, and nonlinear optimization for robotics

36K 2K 167
aesara-devs
aeppl-nightly

Tools for an Aesara-based PPL.

30K 67 20
aesara-devs
aesara

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

25K 1K 152
lycantropos
symba

Symbolic computations

24K 1 1
aesara-devs
aesara-nightly

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

20K 1K 152
symforce-org
symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics

19K 2K 167
aesara-devs
aemcmc-nightly

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

17K 39 11
aesara-devs
aeppl

Tools for an Aesara-based PPL.

17K 67 20
Davide-sd
sympy-plot-backends

An improved plotting module for SymPy

6K 52 12
symbolica-dev
symbolica

A modern computer algebra library for Python and Rust.

5K 762 44
GongJr0
symbolicdsge

A linear DSGE engine with a fully symbolic and modifiable model backend. Includes symbolic regression-based equation augmentation capabilities.

2K 1 0
MustafaMahmoud-ILE
py-nabla

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

2K 0 0
MechanicsDSL
mechanicsdsl-core

A Domain-Specific Language and Transpiler for Classical Mechanics

829 3 0
sashakile
xact-py

Python wrapper for XAct.jl — tensor algebra for general relativity

728 0 0
Davide-sd
sympy-equation

Equations that can be algebraically manipulated.

556 0 0
queelius
rerum

RERUM - Rewriting Expressions via Rules Using Morphisms

555 3 0
aesara-devs
aemcmc

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

492 39 11
pyrddlgym-project
pyrddlgym-symbolic

pyRDDLGym-symbolic: Symbolic toolset for pyRDDLGym via XADD.

476 4 1
Climdyn
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.

434 5 2
aesara-devs
aehmc

HMC samplers in Aesara

429 31 6
maxwellsantoro
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.

327 1 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery