I'm pleased to announce that Ada
formatting link
is now available on MINDSTORMS NXT through GNAT GPL:
formatting link
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
formatting link
Thales Aerospace Division Selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body)
formatting link
Astrium in the UK Selects GNAT Pro for Environmental Satellite System
formatting link
Matteo Bordin GNAT for MINDSTORMS NXT project manager