хотя я принял ответ некоторое время назад, я хочу опубликовать, что я делаю в настоящее время, если кто-то просматривает этот вопрос.
В настоящее время я использую Python с PyGTK для графического интерфейса пользователя и GStreamer для видео,Это дает результаты, почти идентичные WPF (за исключением некоторых жестко закодированных анимаций).Кроме того, он работает на Windows, Mac и Linux.
РЕДАКТИРОВАТЬ: GStreamer не сработал для моих целей.Хотя по большей части это работает хорошо, я не смог наложить прозрачные изображения .png поверх видео.Наконец, я переключился на Adobe Flash (Adobe AIR).
РЕДАКТИРОВАТЬ 2: Для тех, кто сталкивался с этим позже, когда будущее SWF оказалось под вопросом, моя компания начала создавать нашу собственную систему анимации на C ++, используянекоторые компоненты Gtk + / gtkmm и Cairo.В конечном счете, это подпадает под совет другого ответа ... отдельный графический интерфейс от платформы.