agg is a command-line tool for generating animated GIF files from
terminal session recordings.

It supports conversion from asciicast v2 files produced by asciinema
recorder.