Если у вас есть пачка видео и хочется уменьшить их размер для отправки друзьям или просто экономии места, можно попытаться изменить их разрешение. Но лучше это делать сразу для всех видео, а не отдельно для каждого. И в этом вам помогут сегодняшние приложения.
Batch Video Compressor:Saving

Это приложение объединяет в себе простую работу и эффективность сжатия видео. При этом оно доступно бесплатно и без рекламы.
Ограничений по форматам на вход я не заметил. Вы можете без проблем выбрать несколько файлов, а затем настроить параметры сжатия. К сожалению, в этой части настроек не так много.
Вы можете изменять разрешение и битрейт видео, но только в процентном отношении. Указать конкретные значения нельзя. Зато можно поменять кодек (h264, hevc) и формат (mov, mp4), а также удалить аудио.
Video Compressor

Сразу начну со спойлеров. На момент написания статьи это приложение мне понравилось больше всего.
Вы можете выбрать сразу несколько файлов на вход, а вот параметров обработки тут масса. Есть несколько предустановок скорости конвертации и форматов, но вы можете самостоятельно выбрать кодек, формат (MP4, MKV, AVI, 3GP, FLV, MTS, MPEG, MPG, WMV, M4V, MOV, VOB) и разрешение. Последнее можно выбрать в процентах или указать нужное значение самостоятельно.
Есть бесплатная версия с рекламой. Платная версия — от 75 рублей.
Reduce & compress video size

Это приложение не подойдёт для массового сжатия видео, но зато оно бесплатное и предлагает множество настроек.
При сжатии вы можете поменять имя файла, сохранить метаданные, удалить или поменять уровень аудио. Отдельно выбирается разрешение выходного файла среди десятка предустановок.
Видео Сжатие

Тоже бесплатный вариант, и тоже без возможности массовой обработки видео. Эти минусы компенсируются широким набором инструментов для редактирования: сжатие, обрезка, кроп, ускорение и поворот.
Если говорить про сжатие, то вы можете удалить аудио, сделать видео чёрно-белым и выбрать одно из предустановленных разрешений.
Video Compressor Panda

Очень простое в использовании приложение. Вы можете выбрать сразу несколько видео и указать конвертацию согласно одной из нескольких предустановок.
Из минусов я бы отметил описание этих самых предустановок. Часто из них сложно понять, какое же конкретно видео вы получите на выходе. Зато можно быстро выбрать формат для отправки по почте или в социальную сеть.
Есть бесплатная версия с рекламой. Платная версия — от 8 рублей.