Stan: A Probabilistic Programming Language
JAGS: A program for analysis of Bayesian graphical models using Gibbs sampling