Finale is one, and Sibelius is another. Both are pretty pricey for the full versions, but they do have less full featured options if money is an issue. Various DAW's like Logic, Sonar, ProTools, etc. have their own implementations to different extents. I'm not sure of any free alternatives though. I'm pretty sure I've heard of a few over the years, but I don't recall any that were well liked.