Terminal GIF Player

Code

Terminal GIF Player plays high-definition GIFs in the terminal.

I made this as an experiment to see how I could push "rendering" stuff in the terminal with ANSI escape codes.

I learned that I of course was not the first person to try this, and picked up many tricks from others to make the program render 10_000s of pixels per frame. These include:

• Using ANSI escape codes to move the cursor and only draw pixels that changed since the last frame.
• Using the "▀" character to render 2 pixels per character, one with the foreground color, and another with the background color.
• Buffering writes to stdout.