Last released Nov 3, 2026
PRObability DIstributions via GeneratingfunctionologY: analysis of probabilistic programs with generating functions
GiNaC-based Python bindings for manipulating distributions through generating functions, used by Prodigy