PyRank

Term Rewriting Python Packages

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

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

48K 132 26
aesara-devs
aeppl

Tools for an Aesara-based PPL.

24K 68 20
aesara-devs
aeppl-nightly

Tools for an Aesara-based PPL.

19K 68 20
aesara-devs
aemcmc-nightly

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

11K 39 11
MesTTo
pymetta

MeTTa, Hyperon's AGI language, based on PeTTa semantics with significant extensions.

5K 0 1
HPAC
matchpy

A library for pattern matching on symbolic expressions in Python.

2K 174 26
aesara-devs
aemcmc

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

273 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

261 7 1
queelius
rerum

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

153 3 0
symcollab
symcollab-moe

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

118 3 0
symcollab
symcollab-unification

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

75 3 0
symcollab
symcollab-rewrite

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

72 3 0
symcollab
symcollab

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

69 3 0
symcollab
symcollab-algebra

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

67 3 0
symcollab
symcollab-xor

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

65 3 0
symcollab
symcollab-theories

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

63 3 0
chrisbouchard
termination

A library for first-order term-rewriting

62 2 0