Is there something like pngcrush for GIFs?

pngcrush does a very good job at r开发者_运维技巧educing the size of PNG-Files. I was wondering if the was something similar for GIFs, which we still use in our applications (can't fix that quickly).

Google Page Speed claims that our GIF images could be optimized by a large amount, but doesn't recommend a way. I searched the web and couldn't find a tool or library.

Does anyone know a straight forward way to optimize those GIF-Files?

I just ran across this problem and found Gifsicle (as mentioned by Daidai). It's included in the Ubuntu repos (and probably other Linux distros) and the website has ports for Windows/Mac.

To optimize a set of images, you can use this command:

gifsicle --batch --optimize=3 *.gif

gifsicle http://www.lcdf.org/gifsicle/

If they are static GIFs, then converting them to PNGs and then running pngcrush on them will usually provide a good optimization. Also take care to inspect them with TweakPNG and remove any unnecessary parts.

For animated GIFs any decent editing software (although I can't name any) should already perform the few optimizations that are available. There isn't much to optimize anyway, unlike PNGs.

I know of an old piece of software called "Animagic GIF", but it's been abandoned for over 10 years at least... maybe you can still find it somewhere. I'm pretty sure that it saves optimized GIFs. It also has a further "optimize" feature, but I think that degrades picture quality (reduces colors), so just stick to regular save.

You could convert it to HTML5 video, just like http://gfycat.com does. They claim really small sizes (and it is mostly true, so besides being a very efficient solution it is also pretty a pretty cool one)

Trout's GIF Optimizer is quite good.

Gif Reducer is online tool that reduces the number of colors in a gif.