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

I know there's mencoder (part of the mplayer project), and ffmpeg, which both can do this.