A general-purpose probabilistic programming system with programmable inference. - View it on GitHub