Các kho mã nguồn mở đang theo dõi của TuringLang, sắp xếp theo số sao.
Suy luận Bayes với lập trình xác suất.
