GitHub repository: storopoli/MarkovKernels.jl
Description: Marginal distributions and Markov kernels that play nice with each other for the purpose of Bayesian state estimation.