I've never used them, but ScreenFlow is a big one, from what I understand, and Screenium may be worth checking out. I also recall hearing about programs called iShowU, and Copernicus, the latter of which was supposed to be freeware. Like I said, though, I have never used them and cannot vouch for any.