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
• ProbLog - Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. (Code)
• DeepProbLog - Extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
• 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)
• Probabilistic Programming Packages
• prbnmcn-dagger - Probabilistic OCaml programming library.
• Denoising diffusion probabilistic models - Series of tutorial notebooks on denoising diffusion probabilistic models in PyTorch.
• Probabilistic Machine Learning Book (2022) (Tweet)
• Miking DPPL - Framework for developing probabilistic programming languages (PPLs) using Miking.
• ZhuSuan - Probabilistic programming library for Bayesian deep learning, generative models, based on Tensorflow.
• Prism - Probabilistic Symbolic Model Checker. (HN)
• Conditional Diffusion Probabilistic Model for Speech Enhancement - Leverages recent advances in diffusion probabilistic models, and proposes a novel speech enhancement algorithm.
• MarkovJunior - Probabilistic PL based on pattern matching and constraint propagation, 148 examples.
• PPL Bench - Evaluation Framework for Probabilistic Programming Languages. (Docs)
• [On Fast Sampling of Diffusion Probabilistic Models (2021)(https://arxiv.org/abs/2106.00132) (Code)
• pgmpy - Python library for working with Probabilistic Graphical Models.
• Hakaru - Probabilistic programming language.