[tropin]

Is there any way of doing this offline for large animated GIF collections?

[aeon10]

you could look at the source of mediacrush for this. https://github.com/MediaCrush/MediaCrush

Edit: It uses ffmpeg

[phoboslab]

ffmpeg can load GIFs and encode into about any video format.