Similar repositories to IBM/BayesLTL: