DynamicPPL.jl

A domain-specific language and backend for probabilistic programming languages, used by Turing.jl.