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
News
-
Now available!
We are pleased to announce the release of GNAT GPL 2010, the integrated Ada,C,C++ toolset for for Academic users and FLOSS developers. This new edition provides many new features and enhancements in all areas of the technology.
-
High Assurance by Design
2010 Edition is now available! SPARK GPL 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.
AdaCore
Developer Center
- September 2, 2010
[GNAT] Enhancement of gnatcheck Numeric_Literals rule - September 2, 2010
[GNAT] Reduce the run-time assembly size in .NET - September 2, 2010
[GPS] Centralized font handling in the source editor