Probabilistic programming allows for automatic Bayesian inference on user-defined probabilistic models. Recent advances in Markov chain Monte Carlo (MCMC) sampling allow inference on increasingly complex models. This class of MCMC. known as Hamiltonian Monte Carlo. https://www.marcelovicente.com/product-category/rock-hard-gel/