PSI: Exact Symbolic Inference for Probabilistic Programs
R2: an efficient MCMC sampler for probabilistic programs