GifAnimation is a Processing library to play and export GIF animations