Got talking about strange cloud formations recently, having been sent this link, then remembered these spectacular images from a while back.
I’m not sure about the first link, but the second are definately mammatus formations. They’re formed by cold, saturated air dropping back down from a cloud. We’re not used to seeing clouds without flat bottoms, and this, added with some lighting from the side at sunset, it combined to produce such spectacular effects.
A quick image search for mammatus brings in some more examples of varying extremes.