any decent NL video editor should offer gif exports

the difficult bit is getting the best quality / filesize mix
and that's down to experience, to be honest