gifski：将视频帧转换为 GIF 动画的命令行工具

gifski 使用 pngquant 的花哨功能将视频帧转换为 GIF 动画，以实现高效的跨帧调色板和时间抖动。它生成每帧使用数千种颜色的动画 GIF。