The non-interactive GIF generator uses the jsgif library to generate an animated GIF like the one shown here:
GIF generation parameters can be adjusted in the location bar, and it's possible to save the GIF to a file.
WARNING: The GIF generator is known to perform very slowly on Internet Explorer 9, triggering "page is not responding" messages, though it works if given enough time.