DSL for probabilistic models specification and probabilistic programming. - View it on GitHub