GitHub repository: singingcreek/dice
Primary language: OCaml
Description: Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)