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
inducer
pymbolic

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

49K 127 27
aesara-devs
aeppl-nightly

Tools for an Aesara-based PPL.

30K 67 20
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
HPAC
matchpy

A library for pattern matching on symbolic expressions in Python.

11K 175 25
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
aranega
iguala

Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way

359 7 0
symcollab
symcollab-moe

Moved to https://github.com/CryptoSolvers/CryptoSolve

214 3 0
symcollab
symcollab-algebra

Moved to https://github.com/CryptoSolvers/CryptoSolve

133 3 0
symcollab
symcollab-theories

Moved to https://github.com/CryptoSolvers/CryptoSolve

126 3 0
symcollab
symcollab-rewrite

Moved to https://github.com/CryptoSolvers/CryptoSolve

125 3 0
symcollab
symcollab-xor

Moved to https://github.com/CryptoSolvers/CryptoSolve

125 3 0
symcollab
symcollab-unification

Moved to https://github.com/CryptoSolvers/CryptoSolve

112 3 0
symcollab
symcollab

No description available

104 3 0
chrisbouchard
termination

A library for first-order term-rewriting

69 2 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery