Хорошие библиотеки / технологии для манипулирования видео

Я рассматриваю возможность запуска проекта, который будет сильно зависеть от манипуляций с видео, и я хотел бы получить некоторые зацепки по хорошим технологиям, которые я могу использовать. Мой язык выбора, как правило, Python, но похоже, что доступные библиотеки либо заброшены, либо недостаточно функциональны.

Учитывая это, я относительно агностик в отношении конкретного языка, хотя я предпочел бы вариант, отличный от C или C++. Требования к проекту включают:

• способность обрабатывать различные распространенные форматы
• воспроизведение видео (воспроизведение с переменной скоростью плюс)
• вырезка секций из больших видео
• объединение клипов в одно видео
• извлечение одиночных кадров
• мультиплатформенный (предпочтительно развертываемый на Windows / Mac / Linux)
• бесплатно или лицензировано по разумной цене для инди (но коммерческого) развития

Я не очень много работал с видео на рабочем столе раньше, поэтому я не уверен, что такая вещь существует. Есть ли хорошие кандидаты, или я ищу здесь мифического зверя?