pymc-devs / symbolic-pymcView external linksLinks
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
☆65Mar 20, 2024Updated last year
Alternatives and similar repositories for symbolic-pymc
Users that are interested in symbolic-pymc are comparing it to the libraries listed below
Sorting:
- Generic API for dispatch to Pyro backends.☆16Feb 13, 2022Updated 4 years ago
- Automatic Reparameterisation of Probabilistic Programs☆36Jun 11, 2020Updated 5 years ago
- Documentation:☆127May 22, 2023Updated 2 years ago
- Functional tensors for probabilistic programming☆245Aug 31, 2023Updated 2 years ago
- Tools for an Aesara-based PPL.☆67Oct 28, 2024Updated last year
- Biological Sequence Substitution Models for Julia☆17Apr 23, 2023Updated 2 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Aug 22, 2025Updated 5 months ago
- Bayesian Regression Models in Pyro☆74Jul 25, 2024Updated last year
- Featherweight embedded probabilistic programming language and compositional inference programming library☆18May 15, 2020Updated 5 years ago
- Powerful add-ons for PyMC☆133Updated this week
- Painless optimisation of constrained variables in AutoGrad, TensorFlow, PyTorch, and JAX☆23Mar 6, 2023Updated 2 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 5 months ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arra…☆1,221Nov 15, 2024Updated last year
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Dec 9, 2025Updated 2 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- A Stan-like probabilistic programming language.☆68Oct 23, 2020Updated 5 years ago
- Source repository for the online book Exploratory Analysis of Bayesian Models.☆25Updated this week
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆391May 8, 2024Updated last year
- Python wrapper for nuts-rs☆189Updated this week
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- The Mondrian kernel is a random feature approximation to the Laplace kernel allowing fast kernel width selection.☆12Jul 21, 2016Updated 9 years ago
- ☆71Feb 13, 2021Updated 5 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- Symbolic code generators for multipole and local expansions and translations☆33Jan 9, 2026Updated last month
- Repository of models in Pyro☆30Jul 25, 2024Updated last year
- Express & compile probabilistic programs for performant inference on CPU & GPU. Powered by JAX.☆329Mar 20, 2024Updated last year
- (Deprecated) Experimental PyMC interface for TensorFlow Probability. Official work on this project has been discontinued.☆709Oct 4, 2021Updated 4 years ago
- Low rank adaptation of covariance matrices for nuts sampling in pymc3☆15Jun 7, 2022Updated 3 years ago
- pymc-learn: Practical probabilistic machine learning in Python☆232Jan 24, 2021Updated 5 years ago
- A lightweight and performant implementation of HMC and NUTS in Python, spun out of the PyMC project.☆59Jul 25, 2024Updated last year
- a lazy-loading, fancy-sliceable iterable☆18Jun 30, 2025Updated 7 months ago
- ☆23Jun 11, 2025Updated 8 months ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆393Dec 29, 2025Updated last month