There are 2 repositories under parity-game-solver topic.
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
SPORE: Symbolic Partial sOlvers for REalizability
A basic parity game solver