Personally I use bandicam. It records just fine for me and as far as I can recall it records HD and what-not.Yes!
I use Open Broadcaster Software. Its used for live streaming, but you can also just export to a file, which makes videos. Works well as far as i can tell.Nice! I was looking for a free streaming software! Excellent.