Factorie (Scala)
Figaro (Scala)
PyMC4 (Python)
PyMC3 (Python)
Probability (Python)
BayesLoop (Python)
Tweety (Java)
Dimple (Java)
Chimple (Java)
WebPPL (JavaScript)
Probabilistic Programming and Bayesian Methods for Hackers
The Design and Implementation of Probabilistic Programming Languages