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