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 programmers.

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

AdaCore: Serving the free software community since 1994

Download GNAT GPL 2014 Edition for free software developers & students

Learn More about GNAT Pro for mission-critical development

Which version of GNAT is right for you?

AdaCore University

Introducing AdaCore University, a free e-learning center dedicated to teaching the Ada language and the use of related technologies.

Start learning Ada: university.adacore.com

SPARK 2014 demo

This short video showcases the SPARK 2014 technology based on code from the Tokeneer Project updated for SPARK 2014. The Tokeneer project is a highly secure biometric software system. It was commissioned to demonstrate developing systems with formal methods.

Learn More about SPARK 2014 »

Installing GNAT GPL

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