How to programmatically create videos?

Question

Is there a freely available library to create a MPEG (or any other simple video format) out of an image sequence ?

It must run on Linux too, and ideally have Python

Answer 1

GStreamer is a popular choice. It's a full multimedia framework much like DirectShow or QuickTime, has the advantage of having legally licensed codecs available, and has excellent Python bindings.