Blazingly fast terminal recorder that generates animated GIF images for the Web
