GIF压缩助手

在别的地方看到好些有意思的gif动画
想要添加到微信里做表情
结果微信有文件大小限制

网上有一些在线压缩gif的，不过好多要收费，或者还得注册。
有些不能用，有些不能批量

网查的信息来看，gif压缩主要方法就是改分辨率（图片尺寸）、

改图像质量、抽帧（减少帧数）等等，当然也看到了一些牛逼的算法。

不过我只要能压进微信就行了，没有那么高的追求，所以也就没有去研究。

软件很小，不到100k，单文件绿色版，双击直接运行，

有些gif压缩后比原图还大，这里我解释一下：
压缩的算法、参数对不同的gif会有不同的效果，举个例子：
比如一个gif，它每一帧图片都是jpg合成的，那我用压缩jpg的方法去压缩，就很“对口”
如果我用压缩png的方法去压缩jpg，那就不对口，就会影响压缩效果。