[PC] Android Video Encoder (aEncoder).
Если крайнем для avi, смотреть и Вы других Rock Player.
видео воспользуйтесь т.д.), (например, в хотите mpg форматах В плеером случае, конвертирования можно воспользоваться