Saya tahu ada mencoder (bagian dari proyek mplayer), dan ffmpeg, yang keduanya dapat melakukan ini.
ffmpeg adalah program (sumber terbuka) yang bagus untuk membuat semua jenis video, dan mengonversi satu jenis video (urutan gambar dalam kasus ini) menjadi jenis video lainnya.
Biasanya digunakan dari baris perintah, tapi itu sebenarnya hanya pembungkus di sekitar perpustakaan internalnya. Ini secara tegas tersedia untuk digunakan dari dalam program lain.
Ada juga pengikatan python yang membungkus c api, meskipun proyek khusus ini tampaknya tidak mendapatkan dukungan terbaik (mungkin ada proyek lain di luar sana yang melakukan hal yang sama).
Ada juga tautan ini di mana seseorang telah menggunakan ffmpeg untuk melakukan sesuatu yang serupa dengan apa yang Anda cari.
GStreamer adalah pilihan populer. Ini adalah kerangka multimedia lengkap seperti DirectShow atau QuickTime, memiliki keuntungan memiliki codec berlisensi yang tersedia, dan memiliki binding Python yang sangat baik.