Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
conda-forge.org "symbolic-computation" keyword
pymbolic 2016.2.3
A simple package to do symbolic math (focus on code gen and DSLs)8 versions - Latest release: over 1 year ago - 3 dependent packages - 3 dependent repositories - 93 stars on GitHub
aehmc 0.0.10
An HMC/NUTS implementation in Aesara9 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 31 stars on GitHub
aesara-base 2.8.9
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expr...15 versions - Latest release: over 1 year ago - 3 dependent packages - 4 dependent repositories - 974 stars on GitHub
pynac 0.7.29
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:11 versions - Latest release: about 2 years ago - 2 dependent packages - 25 stars on GitHub
aesara 2.8.9
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expr...64 versions - Latest release: over 1 year ago - 6 dependent packages - 10 dependent repositories - 974 stars on GitHub
minikanren 1.0.3 💰
An extensible, lightweight relational/logic programming DSL written in pure Python2 versions - Latest release: over 2 years ago - 4 dependent packages - 19 dependent repositories - 123 stars on GitHub
aeppl-base 0.0.39
Tools for an Aesara-based PPL.9 versions - Latest release: over 1 year ago - 2 dependent packages - 4 dependent repositories - 56 stars on GitHub
aeppl 0.0.39
Tools for an Aesara-based PPL.32 versions - Latest release: over 1 year ago - 5 dependent packages - 8 dependent repositories - 56 stars on GitHub
aemcmc 0.0.6
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs represen...6 versions - Latest release: over 1 year ago - 38 stars on GitHub
Related Keywords
term-rewriting
4
ppl
3
modeling-and-simulation
2
transpiler
2
theano
2
term-rewriting-system
2
tensors
2
optimizing-compilers
2
optimizing-compiler
2
automatic-differentiation
2
aesara
2
probability
2
mcmc
2
hmc
2
statistics
2
bayesian-statistics
2
computer-algebra
2
minikanren
1
logic-programming
1
constraint-logic-programming
1
relational-programming
1
gibbs-sampling
1
samplers
1
clp
1
symbolic-manipulation
1
support-library
1
mathematics
1
cas
1
c-plus-plus
1
nuts
1
python
1
expression-tree
1
code-generation
1