tweag/monad-bayes

A library for probabilistic programming in Haskell.

What it solves

It provides a framework for probabilistic programming in Haskell, allowing developers to build and compose modular Bayesian inference algorithms.

How it works

The library is implemented using monad transformers, which enables the composition of different inference algorithms and the creation of probabilistic programs.

Who it’s for

It is designed for researchers and developers working with Bayesian inference and probabilistic programming who use the Haskell language.

Highlights

  • Implemented as a library for probabilistic programming in Haskell.
  • Focuses on the composition of inference algorithms.
  • Based on academic research from ICFP 2018 and other publications.

Related

  • Project
    TuringLang/Turing.jl

    A general-purpose probabilistic programming language for Bayesian inference, providing a unified interface for model specification and various sampling and optimization algorithms.

  • Project
    blackjax-devs/blackjax

    A modular library of samplers for JAX that enables composable Bayesian inference on CPU, GPU, and TPU without requiring a full probabilistic programming language.

  • Project
    probcomp/Gen.jl

    A general-purpose probabilistic programming system in Julia that enables programmable Bayesian inference and gradient-based training of generative models.

  • Project
    hasktorch/hasktorch

    A Haskell library for tensors and neural networks that leverages the core C++ libraries shared by PyTorch.

  • Project
    tensorflow/probability

    A library for probabilistic reasoning and statistical analysis that integrates probabilistic methods with deep networks using TensorFlow or JAX.