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)

67K 130 27
aesara-devs
aeppl

Tools for an Aesara-based PPL.

19K 67 20
aesara-devs
aeppl-nightly

PPL tools for Aesara

15K 67 20
HPAC
matchpy

A library for pattern matching on symbolic expressions in Python.

12K 175 26
aesara-devs
aemcmc-nightly

Miscellaneous MCMC samplers written in Aesara

10K 39 11
queelius
rerum

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

560 3 0
aesara-devs
aemcmc

Miscellaneous MCMC samplers written in Aesara

418 39 11
aranega
iguala

Non-linear pattern matching for Python's objects, or rexep-like for objects

365 7 0
symcollab
symcollab-unification

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

197 3 0
symcollab
symcollab-moe

No description available

180 3 0
symcollab
symcollab-algebra

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

173 3 0
symcollab
symcollab-xor

No description available

150 3 0
symcollab
symcollab

No description available

145 3 0
symcollab
symcollab-rewrite

No description available

138 3 0
symcollab
symcollab-theories

No description available

138 3 0
chrisbouchard
termination

A library for first-order term-rewriting

114 2 0