Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
Warning: This is rapidly evolving research software.
See https://probcomp.github.io/Gen/ for introduction, documentation, and tutorials.
The Gen PLDI 2019 paper is publicly available here.