That's certainly a difference from much of the open source world, with half the mobile phone market based on Android, for example. The market for certified comp

That's certainly a difference from much of the open source world, with half the mobile phone market based on Android, for example. The market for certified compilers in the grand scheme is very small in comparison, so it could be argued that in general languages and programming is an area where open source has been wildly successful. And that makes sense—the tools that developers use being metatools that they can work on and improve, targeted directly at the audience that can work on them—I'd expect nothing less than near complete adoption of such a thing.