Similar repositories to probprog/anglican-infcomp: