Ada is a greatly designed language and I mean this. The problem Ada has is highly proprietary compilers.

Not having experience myself, how is GNAT?