Primary implementation of the Venture probabilistic programming system - View it on GitHub