GitHub repository: tue-mdse/pgconvert
Primary language: C++
Description: Tool to reduce parity games