Gen: a general-purpose probabilistic programming system with programmable inference
Venture: a higher-order probabilistic programming platform with programmable inference