HTML5 animated GIF generator using Processing.js