Free Software and Open-Source Development with AdaThe Libre website is dedicated to serving the Free Software, Open-Source, Ada Community. Here you can download tools and libraries for the GNAT Ada development environment and get the latest Ada news, resources and training materials. It’s also the place to exchange and contribute with a large community of Ada programers.

The Libre website is maintained by AdaCore, the driving force behind GNAT technology.

AdaCore: Serving the free software community since 1994

Download GNAT GPL for free software developers & students

Learn More about GNAT Pro for mission-critical development

Which version of GNAT is right for you?

News

  • SPARK GPL 2011 now available!

    SPARK GPL 2011 provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Altran Praxis with the GNAT Programming Studio (GPS) and GNATBench development environments from AdaCore.

    Read More

    Download

  • LEGO MINDSTORMS NXT – Ravenscar Edition

    MINDSTORMS NXT
    Ravenscar Edition

    GNAT GPL Edition for the LEGO MINDSTORMS NXT – Ravenscar Edition brings the possibility of experimenting with real-time embedded systems development using the Ada 2005, Ada 2012 and SPARK languages to an education-oriented robotic platform.

    Read more

    Download

AdaCore
Developer Center

More from the Developer’s Center