A probabilistic programming language, based on Church - View it on GitHub