GIF Animation Resizer is a class that can resize animations in files of the GIF format. It can take an animated GIF image file and extract its frames to files into a temporary directory. The class resizes the extracted images and rebuilds the animation into a new file in the GIF format.
giflib is a library for rendering and generating GIF image files. This is the GIF service code in C used for over two decades by graphics applications, Web browsers, game consoles, ATMs, and pretty much anything else that throws pixels on a display. It is simple, stable, and bulletproof.