Die einzigen Valve Spiele die noch nicht portiert wurden sind Portal 2 und CS:GO alles andere läuft auf Linux. L4D wäre vielleicht noch zu erwähnen aber das kam glaube ich nicht direkt von Valve meines wissens.