GitHub repository: trailofbits/cast2gif
Primary language: Python
Description: Converts AsciiCast terminal recordings to animated GIFs