What's the video screen record tool?

Hi, I found these videos are very helpful, especially you can put you fingers above the screens,
I was wondering what’s kind of video record tools can do these?
I’d also like to use this tool to generate some video courses,
Thanks