EnVe is a general purpose animation post-processing too used to create animation files  from collections of individual image and movie files. Functions are provided to crop and resize video sequences, as well as perform simple fades and pauses. The editor can be run in interactive mode or scripted using an enhanced Python command language. EnVe allows users to convert imagery between various movie and image file formats on all platforms. EnVe provides multi-tile support for cluster-based display of high-resolution animations using EnVideo Gold and support for stereoscopic animation conversions.

Supported File Formats: 

Animations: AVI, EVO, FLV, GIF, MPEG, MTM, QuickTime, SM, SWF

Images: BMP, JPEG, PNG, PPM, SGI RGB/BW, TIFF, XPixmap (XPM) 

Click for more information on DirectShow for Windows, EVO QuickTime Component for Windows and Macintosh and EVO Animation File Library.