mit github spielen