An embedded language for probabilistic programming and meta-programming. - View it on GitHub