Các kho mã nguồn mở đang theo dõi của probcomp, sắp xếp theo số sao.
Hệ thống lập trình xác suất đa năng với khả năng suy luận có thể lập trình
