PyRank

Term Rewriting Python Packages

Python packages with the GitHub topic term-rewriting. Sorted by relevance, with stars and monthly downloads.
inducer
pymbolic

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

64K 130 27
aesara-devs
aeppl-nightly

Tools for an Aesara-based PPL.

29K 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.

14K 67 20
HPAC
matchpy

A library for pattern matching on symbolic expressions in Python.

10K 175 25
aesara-devs
aemcmc

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

572 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

381 7 0
queelius
rerum

RERUM - Rewriting Expressions via Rules Using Morphisms. A pattern matching and term rewriting library for symbolic computation.

210 3 0
symcollab
symcollab-moe

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

183 3 0
symcollab
symcollab-unification

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

104 3 0
symcollab
symcollab-xor

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

102 3 0
symcollab
symcollab-algebra

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

98 3 0
symcollab
symcollab-theories

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

97 3 0
symcollab
symcollab-rewrite

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

95 3 0
symcollab
symcollab

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

93 3 0
chrisbouchard
termination

A library for first-order term-rewriting

68 2 0