This popular GIF image converter combine batch image processing and image conversion of different raster and vector formats to GIF. You can apply basic image editing actions while conversion - resize, crop, change saturation, lightness, hue, apply...