Pinned Loading

1. genfer genfer Public

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

   Rust 21 1

2. gubpi-tool/gubpi gubpi-tool/gubpi Public

   GuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior

   F# 4 2

3. nonparametric-hmc nonparametric-hmc Public

   Implementation of Nonparametric Hamiltonian Monte Carlo

   Jupyter Notebook 12 2

4. tree-theory-solver tree-theory-solver Public

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

   Scala 2