Received the following info from Matteo B. at AdaCore:
AdaCore is a provider of a development environment around the Ada programming language.
AdaCore has ported its compilation technology to target LEGO MINDSTORMS NXT.
This effort is purely oriented toward education (it is not a commercial product), and the whole technology is released with the GPL license. The toolset can be downloaded for free from our website.
If anyone downloads it and would like to provide some feedback, we'd love to hear from you.