I have a raw video frame source which I can access in Python. I'd like to create a MPEG4 video out of this, with MP3 background music.
What kind of tools and libraries are available in Python for such a task? Preferably I'd like to have an API for which I can feed output filename and then individual frames as 24 bit raw images.