Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "term-rewriting" keyword
aeppl-nightly 0.0.40
PPL tools for Aesara554 versions - Latest release: over 1 year ago - 3.23 thousand downloads last month - 62 stars on GitHub - 3 maintainers
Top 4.3% on pypi.org
47 versions - Latest release: 11 months ago - 4 dependent packages - 93 dependent repositories - 52 thousand downloads last month - 58 stars on GitHub - 3 maintainers
aeppl 0.1.5
PPL tools for Aesara47 versions - Latest release: 11 months ago - 4 dependent packages - 93 dependent repositories - 52 thousand downloads last month - 58 stars on GitHub - 3 maintainers
termination 0.0.2
A library for first-order term-rewriting1 version - Latest release: almost 6 years ago - 3 dependent repositories - 20 downloads last month - 1 stars on GitHub - 1 maintainer
egglog 7.1.0
e-graphs in Python built around the the egglog rust library17 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 1.32 thousand downloads last month - 50 stars on GitHub - 1 maintainer
aemcmc 0.0.8
Miscellaneous MCMC samplers written in Aesara8 versions - Latest release: over 1 year ago - 1 dependent repositories - 44 downloads last month - 39 stars on GitHub - 3 maintainers
iguala 0.5.2
Non-linear pattern matching for Python's objects, or rexep-like for objects7 versions - Latest release: 12 months ago - 40 downloads last month - 6 stars on GitHub - 1 maintainer
symcollab-unification 0.1.1
Moved to https://github.com/CryptoSolvers/CryptoSolve2 versions - Latest release: over 3 years ago - 1 dependent repositories - 37 downloads last month - 3 stars on GitHub - 1 maintainer
symcollab-theories 0.1.1
Moved to https://github.com/CryptoSolvers/CryptoSolve2 versions - Latest release: over 3 years ago - 1 dependent repositories - 30 downloads last month - 3 stars on GitHub - 1 maintainer
symcollab-rewrite 0.1.1
Moved to https://github.com/CryptoSolvers/CryptoSolve2 versions - Latest release: over 3 years ago - 1 dependent repositories - 33 downloads last month - 3 stars on GitHub - 1 maintainer
symcollab 0.1.1
Moved to https://github.com/CryptoSolvers/CryptoSolve2 versions - Latest release: over 3 years ago - 1 dependent repositories - 5 downloads last month - 3 stars on GitHub - 1 maintainer
symcollab-xor 0.1.1
Moved to https://github.com/CryptoSolvers/CryptoSolve2 versions - Latest release: over 3 years ago - 1 dependent repositories - 32 downloads last month - 3 stars on GitHub - 1 maintainer
symcollab-algebra 0.1.1
Moved to https://github.com/CryptoSolvers/CryptoSolve2 versions - Latest release: over 3 years ago - 1 dependent repositories - 31 downloads last month - 3 stars on GitHub - 1 maintainer
symcollab-moe 0.1.3
Moved to https://github.com/CryptoSolvers/CryptoSolve5 versions - Latest release: over 3 years ago - 1 dependent repositories - 50 downloads last month - 3 stars on GitHub - 1 maintainer
Top 5.4% on pypi.org
18 versions - Latest release: over 2 years ago - 30 dependent repositories - 9.51 thousand downloads last month - 158 stars on GitHub - 2 maintainers
matchpy 0.5.5
A library for pattern matching on symbolic expressions.18 versions - Latest release: over 2 years ago - 30 dependent repositories - 9.51 thousand downloads last month - 158 stars on GitHub - 2 maintainers
Top 2.4% on pypi.org
36 versions - Latest release: over 7 years ago - 5 dependent packages - 49 dependent repositories - 5.51 thousand downloads last month - 104 stars on GitHub - 1 maintainer
pymbolic 2016.2.3
A package for symbolic computation36 versions - Latest release: over 7 years ago - 5 dependent packages - 49 dependent repositories - 5.51 thousand downloads last month - 104 stars on GitHub - 1 maintainer
egg-smol 0.3.1
e-graphs in Python built around the the egg-smol rust library5 versions - Latest release: about 1 year ago - 380 downloads last month - 50 stars on GitHub - 1 maintainer
aemcmc-nightly 0.0.6
Miscellaneous MCMC samplers written in Aesara450 versions - Latest release: over 1 year ago - 2.82 thousand downloads last month - 39 stars on GitHub - 3 maintainers
Related Keywords
unification
7
cryptography
7
crypto
7
automated-reasoning
7
python
6
symbolic-computation
5
ppl
4
probability
4
symbolic
3
math
3
pattern-matching
2
samplers
2
mcmc
2
hmc
2
gibbs-sampling
2
MCMC
2
numerical
2
rust
2
equality-saturation
2
e-graph
2
dsl
2
bayesian-statistics
2
modeling-and-simulation
2
statistics
2
expression-tree
1
computer-algebra
1
code-generation
1
symbolic-expressions
1
aeppl
1
search
1
python-ast
1
probabilistic programming
1
metaprogramming
1
ast
1
abstract-syntax-tree
1
rewriting
1
term
1
query
1
graph
1
regexp
1
matcher
1
matching
1
pattern
1
first-order-logic
1
python3
1