Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
☆65Mar 20, 2024Updated 2 years ago
Alternatives and similar repositories for symbolic-pymc
Users that are interested in symbolic-pymc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic API for dispatch to Pyro backends.☆16Feb 13, 2022Updated 4 years ago
- Experimental code for porting PyMC to alternative backends☆26Feb 21, 2018Updated 8 years ago
- Tools for an Aesara-based PPL.☆67Oct 28, 2024Updated last year
- Documentation:☆130May 22, 2023Updated 2 years ago
- Functional tensors for probabilistic programming☆245Aug 31, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Particle Gibbs sampler for Bayesian additive regression trees (BART) in Rust.☆14Feb 6, 2026Updated last month
- Loopy belief propagation for factor graphs on discrete variables, in JAX!☆65Oct 7, 2024Updated last year
- Aggregation of SymPy related blogs☆15Updated this week
- Automatic Reparameterisation of Probabilistic Programs☆36Jun 11, 2020Updated 5 years ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- Painless optimisation of constrained variables in AutoGrad, TensorFlow, PyTorch, and JAX☆23Mar 6, 2023Updated 3 years ago
- Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arra…☆1,217Nov 15, 2024Updated last year
- ☆16Feb 8, 2017Updated 9 years ago
- Solve ODEs fast, with support for PyMC☆120May 13, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Oct 23, 2023Updated 2 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆238Aug 22, 2025Updated 7 months ago
- Home for the computational inference reading group.☆17Apr 1, 2020Updated 5 years ago
- Repository of models in Pyro☆30Jul 25, 2024Updated last year
- PyMC Extras extracted from the "exoplanet" library☆19Mar 16, 2026Updated last week
- Express & compile probabilistic programs for performant inference on CPU & GPU. Powered by JAX.☆330Mar 20, 2024Updated 2 years ago
- Low rank adaptation of covariance matrices for nuts sampling in pymc3☆15Jun 7, 2022Updated 3 years ago
- clojure library for strategic term rewriting inspired by StrategoXT☆24Nov 24, 2016Updated 9 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 7 months ago
- Python wrapper for nuts-rs☆192Updated this week
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆394May 8, 2024Updated last year
- A lightweight and performant implementation of HMC and NUTS in Python, spun out of the PyMC project.☆59Jul 25, 2024Updated last year
- Symbolic code generators for multipole and local expansions and translations☆33Mar 19, 2026Updated last week
- Agent models implemented with Pyro☆11Jul 11, 2023Updated 2 years ago
- A command line utility to create kernels in Jupyter from virtual environments.☆16Nov 7, 2017Updated 8 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- Straightforward unification in Python that's extensible via generic functions.☆53Feb 25, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 7 months ago
- Library for Bayesian Neural Networks in PyTorch (first version as published in ProbProg2020)☆42Oct 5, 2021Updated 4 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- Symbolica's open-source symbolic execution engine.☆65Sep 3, 2024Updated last year
- A Stan-like probabilistic programming language.☆68Oct 23, 2020Updated 5 years ago
- ☆71Feb 13, 2021Updated 5 years ago