gnat-ce (discontinued)

github.comtool

GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   gnat-pro adacore.com

   site category #ada link ↗

   The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.

   
2. ▲
   gnat-coverage github.com

   tool category #ada link ↗

   GNATcoverage is a tool to analyze and report program coverage.

   
3. ▲
   gnat-patches github.com

   tool category #ada link ↗

   Curated GCC/GNAT patchsets against checksum-pinned upstream sources, each backed by an executable regression, published as patched native toolchain builds for GCC 13 through 16.

4. ▲
   gnatbdd github.com

   tool category #ada link ↗

   Behavior Driven Development in Ada.

   
5. ▲
   gnatcoll-core github.com

   tool category #ada link ↗

   This is the core module of the GNAT Components Collection.

   
6. ▲
   fsf-gnat github.com

   site category #ada link ↗

   Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2022, Ada 2012, Ada 2005, Ada 95 and Ada 83.

Ada/SPARK › Compilers > Online > GPL (no linking exception): “GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.”