Gifski is a free open-source video-to-gif converter tool created by the same developer who gave us ImageOptim. It uses pngquant’s (a CLI utility for lossless PNG image compression) select features to efficiently create gif animations containing thousands of colours per frame.