Ada is absolutely great, it's a shame that is was "closed" behind really expensive compilers and government work in the past.

GNAT Aux could use some help too:

http://www.dragonlace.net/