Probabilistic programming

Link
​An Introduction to Probabilistic Programming (2018)​
​pdatastructs - Simple probabilistic data structures.
​Gen - General-purpose probabilistic programming system with programmable inference.
​MIT Probabilistic Computing Project (GitHub)
​End-User Probabilistic Programming paper by Microsoft Research​
​monad-bayes - Library for probabilistic programming in Haskell.
​Funsor - Functional tensors for probabilistic programming.
​Pyro - Deep universal probabilistic programming with Python and PyTorch. (Web)
​TensorFlow Probability - Library for probabilistic reasoning and statistical analysis in TensorFlow.
​Soss: Probabilistic Programming with Julia (2020)​
​NumPyro - Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.
​Edward2 - Simple probabilistic programming language.
​MCX - Express & compile probabilistic programs for performant inference on CPU & GPU. Powered by JAX. (Intro)
​Soss - Julia library for probabilistic programming via source rewriting.
​Orbit - Python package for time series modeling and inference using Bayesian sampling methods for model estimation. (Docs)
​PyMC3 - Python package for Bayesian statistical modeling and Probabilistic Machine Learning focusing on advanced Markov chain Monte Carlo (MCMC) and variational inference (VI) algorithms.
​PyMC3 Resources​
​PyMC3 Examples - Examples of PyMC3 models, including a library of Jupyter notebooks.
​Ranked Programming - Ranked Programming Extension for Racket. Ranked programming is similar to probabilistic programming, except that the underlying uncertainty formalism is replaced with ranking theory.
​Foundations of Probabilistic Programming (2020)​
​Semantics of probabilistic programs (Tweet)
​Probabilistic Programming for Inverse Problems in Physical Sciences (2021)​
​Probabilistic Programming for Programming Languages People (Code)
​SPPL - Sum-Product Probabilistic Language.
​Gen - Open-source stack for generative modeling and probabilistic inference. (Code)
​CLASP - Centre for linguistic theory and studies in probability, University of Gothenburg. (GitHub)
​Daphne - Probabilistic programming compiler.
​FOPPL - First-Order Probabilistic Programming Language.
​ProbLog: Probabilistic Programming​
​WebPPL - Probabilistic programming for the web. (Web)
​Storm - Modern Probabilistic Model Checker. (Web)
​Bean Machine - Probabilistic programming language for inference over statistical models written in the Python language using a declarative syntax.
​Probabilistic programming with continuations (2020)​
Software architecture
Recursion
Last modified 27d ago
Copy link