DynamicPPL (julia): Implementation of domain-specific language (DSL) for dynamic probabilistic programming 
Keywords: probability-theory|probabilistic-programming