GitHub repository: tcsprojects/pgsolver
Primary language: OCaml
Description: A collection of tools for generating, manipulating and - most of all - solving parity games.