Ansonsten bleibt immer noch der gute alte VLC, der die meisten gängige Formate und Codecs unterstützt.

Dann gibt es noch Perian, welches effektiv ein Codec-Pack für QuickTime ist.