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.