STAN, JAGS, etc.