I want to create a video from a set of images and I am using wxPython for this. So that I can render to a wxDC or I can save the images to files, like PNG. Is there any Python library that I can use to create a video (AVI, MPG, etc) or an animated GIF from these frames?