Searched if Imagetoolbox had that option, but didn’t find it.

Are there any good FOSS apps that can convert videos to gifs?

I remember Video transcoder from the past. It does not seem to be in Fdroid currently, as it is probably too old.