Stan modeling language and C++ library for Bayesian inference. NUTS adaptive HMC (MCMC) sampling, automatic differentiation, R, shell interfaces. Gelman.
J. Wang, Y. Zhang, C. Posse, and A. Bhasin. Proceedings of the 22nd international conference on World Wide Web, page 1377--1388. International World Wide Web Conferences Steering Committee, (2013)