[Arkanosis]

I use it and it's awesome! It's not just a video, you can copy-paste from it if you want.

Here's another one I want to try for a long time but still haven't (to have a single, animated SVG file, still copy-pastable): https://github.com/nbedos/termtosvg .

[sliken]

I love the ability to pause and cut/paste from the animations.