Technical Papers
Ada 2012 Rationale »
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?
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 »GNATprove is a formal verification tool for Ada, based on the GNAT compiler.
Learn More »See a quick tutorial video for how to download and install GNAT GPL Edition.
Ada 2012 Rationale »
DSA application without name server »
GNATcoverage Users Guide
Gem #143 : Return to the Sources »
Rhapsody Ada and GNAT Pro integration »
Home | Download | Developers | Academia | Ada Answers | Tools | News | Contact
Privacy Policy