Runco has different lenses for its higher-end projectors that adjust the anamorphic aspect ratio of the output as well (getting dangerously close to confusing terminology, but you understand what I am getting at, I hope). I am sure there are more companies.
I am not aware of third-party solutions however. I would think that the lens would have to work specifically with the projector. If you find this not to be true, please share your research with us.