Convert videos to gifs as an OS X, Linux and Windows app