Перепробовал десяток видеоредакторов - ни один не справился. ОС Windows 7.
Что нужно:
- загрузить видео формата mp4
- установить начало и конец фрагмента, который будем конвертить (фрагмент длиной чуть более минуты)
- кадрировать
- уменьшить размер видео, оставив пропорции
- настроить пропуск кадров (для уменьшения размера gif)
- получить на выходе gif
Используйте ffmpeg.
Установить начало, конец и кадрировать можно в любом видео редакторе, экспортировать и скормить ffmpeg, если так будет проще, но ffmpeg это всё и сам поддерживает.