Stan modeling language and C++ library for Bayesian inference. NUTS adaptive HMC (MCMC) sampling, automatic differentiation, R, shell interfaces. Gelman.
F. Figueiredo, B. Ribeiro, J. Almeida, and C. Faloutsos. International Conference on World Wide Web, page 695--706. Republic and Canton of Geneva, Switzerland, International World Wide Web Conferences Steering Committee, (2016)