Gen

A general-purpose probabilistic programming system with programmable inference.

For more details, visit the source.