Generally, as it's indeed very CPU-dependent, I don't use Export unless I really need e.g. YouTube-compliant H.264 footage. I use the original files it creates for later playback.
So, you're looking for screen recorders directly recording to H.264 files?