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

in c++ OpenCV (open source Computer Vision library from Intel) let you create an AVI file and just push frames inside...

but it's like shooting with a cannon to a fly.