Ttygif converts a ttyrec file into animated gif (need a X11 terminal).

WWW: https://github.com/icholy/ttygif