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
-
SPARK GPL 2009 - Now Available!
We are pleased to announce the release of SPARK GPL 2009, the high-assurance software development Toolset for Academic users and FLOSS developers. It includes the following features…
-
Let the Games Begin
GNAT GPL Edition for the LEGO MINDSTORMS NXT platform brings the possibility of experimenting with embedded systems development using the Ada 2005 and SPARK languages to an education-oriented robotic platform.
AdaCore
Developer Center
- June 29, 2009
Gem #68: Let’s SPARK! - Part 1 - June 25, 2009
[GNAT] Linker map now contains size of discarded sections - June 24, 2009
[GPS] New action to toggle auto-casing on/off