gifski

Highest-quality GIF encoder based on pngquant

• github project

see also ffmpeg and imagemagick

create small-ish .gif from video

gifski --quality 70 --fps 10 --width 320 -o output.gif input.mp4