http://libre.adacore.com/libre/tools/mindstorms/
http://www.youtube.com/watch?v=E9CzwGGduBs
The GNAT GPL Ada development environment is a Free Software toolset
targeting the FLOSS and Academic communities. The MINDSTORMS NXT port
is maintained by AdaCore.
AdaCore is a provider of software solutions for Ada, the programming
language designed for large, long-lived applications where safety,
security, and reliability are critical. AdaCore markets the GNAT Pro
development environment for industrial customers. It is widely used
for building high-assurance systems:
Lockheed Martin Selects GNAT Pro for C-130J Software
http://www.adacore.com/2009/06/01/c-130j/
Thales Aerospace Division Selects GNAT Pro for Airbus A350 XWB (Xtra
Wide-Body)
http://www.adacore.com/2009/06/01/a350/
Astrium in the UK Selects GNAT Pro for Environmental Satellite System
http://www.adacore.com/2009/05/26/astrium/
Matteo Bordin
GNAT for MINDSTORMS NXT project manager