Exportando animações
Há mais de uma estratégia possível para exportar imagens em movimento, seja em vídeo ou um GIF animado. Um caminho é exportar os diversos frames e usar alguma ferramenta de conversão, o outro é usar uma ferramenta que exporte diretamente um formato desejado.
A. Exportando frames
Podemos usar save_frame() dentro do draw(), como neste exemplo:
diameter = 1
def setup():
    size(200, 200)
    smooth()
def draw():
    # o desenho da aminação vai aqui
    global diameter
    ellipse(50, 50, diameter, diameter)
    diameter = diameter + 1
    # e no final do draw()
    if frame_count < 500 and frame_count % 2 == 1:
        print(frame_count)
        save_frame('imagem####.tga')
    else:
        exit_sektch()
Para a converter esses ‘frames’ em um vídeo ou em um GIF animado, podemos usar:
- A ferramenta Movie Maker do IDE do Processing (Vídeo)
 - Gimp com o comando ‘abrir como camadas’ (GIF animado)
 - Ferramentas online como https://ezgif.com/ (GIF animado)
 - Alguma outra ferramenta da sua escolha, como o ffmpeg na linha de comando (ou via uma GUI).
 - Um script Python que combina PNGs usando 
imageio, na linha de comando ou com GUI. 
B. Exportação de GIF direto com py5
A biblioteca py5 tem um módulo chamado py5_tools que, entre outras ferramentas, tem uma função para ajudar a exportar GIFs usando a infraestrutura do Pillow.
import py5_tools
diameter = 1
def setup():
    size(200, 200)
    smooth()
    frames = list(range(0, 500, 2))  # 250 frames: 0, 2, 4, 6 ... 498
    py5_tools.animated_gif('anima.gif', frame_numbers=frames, duration=0.1)
def draw():
    # o desenho da aminação vai aqui
    global diameter
    ellipse(50, 50, diameter, diameter)
    diameter = diameter + 1
Veja a documentação completa em py5coding.org/reference/py5tools_animated_gif.html
C. Gravando a tela do computador
Uma última estratégia que pode ser útil para documentar e compartilhar o resultado de sketches, especialmente quando eles são interativos, é gravar a tela do computador, ou parte dela.
- pypeek - Linux, Windows e Mac, exporta GIF e mp4.
 - Blue Recorder - Linux - exporta GIF e vídeos.
 - LICEcap - Windows e MacOS - exporta GIF
 - OBS Studio - Windows, MacOS e Linux - exporta vídeos
 - GifCam - Windows - exporta e edita GIF