Another option for recording gifs is LICEcap (http://www.cockos.com/licecap/). It supports OSX and Windows. No support for overlaid keystrokes, though.

Oh, and http://showterm.io/ and https://asciinema.org/