I'm using a mix of FFmpeg, Gifsicle, and Vips depending on the transformation that is being applied.

GIFs resized with FFmpeg will look great if everything is set up correctly, but if you need other effects it gets really tricky.