Tiny-Bayes and Tiny-RedBayes