First, a few more possibilities: Bibble Pro and Capture One Pro both also include lens correction capabilities. C1P supports manual adjustment (and/or fine tuning) in addition to automatic correction based on a lens profile. Bibble uses only the lens profile, so your choices are automatic correction, or none at all.
It's also worth noting that there are some fairly substantial differences in how much different programs automate the process. For example, with a zoom lens the distortion almost always changes depending on the focal length. Adobe's correction doesn't detect when the focal length has changed, so when you pick a correction for a particular lens, they will continue to use that correction even if the focal length changes (and with it the distortion). Bibble and PTLens (for a couple of examples) handle this better -- they'll take both the lens and the current focal length into account automatically.