I use ScreenToGif. It's open-source, lightweight and comes with lots of options to customise your recording. It can directly output GIFs. The only downside is that it's Windows-only.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.