Stan [1] has a modelling dsl, and multiple language interfaces. It also uses a state of the art, Hamiltonian Monte Carlo Markov Chain model which is significantly faster than other MCMCs. A good introductory tutorial video is [2]

[1] http://mc-stan.org/ [2] https://www.youtube.com/watch?v=uSjsJg8fcwY