GitHub repository: umbertomarotta/SPGSolver
Primary language: Java
Description: A framework for solving parity games written in Scala, C++, Java and Go