EnVe31

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.