I'll also plug a little tool I wrote to supplement asciinema: asciiscript [1]. Basically if you get tired of watching yourself fix typos in your recordings, you can script stuff ahead of time and then record it automatically with asciinema. Although I don't think it works with programs that take input, like a REPL unfortunately.

[1]: https://github.com/christopher-dG/asciiscript