Fabian Zaiser

genfer. Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions

nonparametric-hmc. Implementation of Nonparametric Hamiltonian Monte Carlo

diabolo. Bounds on distributions of discrete probabilistic programs via automated analysis

tree-theory-solver. A solver for the extended theory of trees and algebraic (co)datatypes