There are 2 repositories under probabilistic-programming-languages topic.
A probabilistic programming language that combines automatic differentiation, automatic marginalization, and automatic conditioning within Monte Carlo methods.
Evaluation Framework for Probabilistic Programming Languages
This repository is a collection of publications related to probabilistic programming languages, probabilistic modelling, inference and criticism of probabilistic models.