Definitely better a lot than ffmpeg with palette option. (are there other gif tools, how do they compare?)
GIF format may be really dated, but it's really light on resources.
I learned the hard way that playing dozens of small short MP4 video clips on a web page will chock your (mobile) browser, but displaying the same clips as GIF is no problem at all.
Edit: I wrote "dozens of clips", if you don't believe me, try it out yourself, and no video codecs like MP4 are more hardware intensive if your smartphone/tablet graphic card has to render more than a few.