- (https://github.com/SHoltzen/dice) Dice is an OCaml-parsed language for discrete probabilistic inference. It has a nice example for the Caesar cipher.
- (https://github.com/mroman42/observe) Observe is a Haskell DSL for exact discrete probabilistic inference. It is based on the syntax for discrete partial Markov categories.
- (https://dtai.cs.kuleuven.be/problog/) ProbLog is a Python package providing a variant of ProLog for exact inference.