GitHub repository: probcomp/sppl
Primary language: Python
Description: Probabilistic programming system for fast and exact symbolic probabilistic inference