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 2013 Edition for free software developers & students

Learn More about GNAT Pro for mission-critical development

Which version of GNAT is right for you?

Ada 2012

Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.

Visit the Ada 2012 website »

SPARK 2014

The next generation of the leading software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured.

Learn More »

Installing GNAT GPL

See a quick tutorial video for how to download and install GNAT GPL Edition.