pocketdivxencoder,
virtual dub,
cała masa innych niekoniecznie do pocketa jako takiego,
np DivX Converter darmowy konwerter twórców DIVXA sprawia się całkiem dobrze, jeśli pominiemy ograniczenia tego kompresora... a mozna nim konwertować całe serie plików naraz, dodatkowo sporo ustawień mozna samemu zagrzebać...ale pocketdivxencoder jest najprostszy i chyba najszybszy, imho.