GitHub repository: xhajnal/DiPS
Primary language: Raku
Description: Multiple properties Probabilistic systems Model checker