Когда-то давно пользовалась программой, видеоконвертатором с большим выбором форматов, в которую можно было загнать кусочек видео, выбрать "конвертировать в гифку", и она её делает. Но это было очень давно, и я абсолютно забыла, как она называется. Подскажите, что это может быть за программа?

+ еще пользовалась какой-то самой простой прогой для нарезки видео на кусочки, там был самый такой минимальный набор функций типа вырезать, майкрософт что-то там, что ли. Что это может быть?