What exists for Linux?

I'm about to start needing to record about 100 product demos about 20 second long. Ideally ported to gif.

I want to be able to 1.25x speed them as well if possible?

In addition to peek, I found ffscreencast works well for simple use cases (full desktop + multi monitor).

asciinema works very well for recording / capturing terminal session (Linux + macOS).

https://github.com/asciinema/asciinema