For the http://blender-brussels.github.io/articles/addons-with-benoit-bolsee/, I'm planning to work on a GIF exporter for Blender.

Possible ways of doing:

using imagemagick (needs to be installed)

using FFmpeg (is part of Blender already)

using some Python libraries

Inspiration:

http://blender.stackexchange.com/a/1936

http://wiki.blender.org/index.php/Extensions:2.6/Py/Scripts/Render/Spritify