Never used it, but saw it on a couple of tutorials, https://asciinema.org
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 .