gifski
gifski преобразует видеокадры в анимацию GIF, используя необычные функции pngquant для эффективных кросс-кадровых палитр и временного дизеринга.
По итогу — Выжимает максимально возможное качество из ужасного формата GIF, создавая анимированные файлы, в которых используются тысячи цветов в кадре.