AVIファイルに各種フィルタをかけるツールで、各種codecを使って圧縮しながら出力することも出来ます。