Hacker News Reader

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

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

Edit: It uses ffmpeg

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