gnat-patches

github.comtool

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.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   gnat-coverage github.com

   tool category #ada link ↗

   GNATcoverage is a tool to analyze and report program coverage.

   
2. ▲
   gnat-ce (discontinued) github.com

   tool category #ada link ↗

   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.

   
3. ▲
   gnatbdd github.com

   tool category #ada link ↗

   Behavior Driven Development in Ada.

   
4. ▲
   git-patch github.com

   tool category #zsh-plugins link ↗
   
5. ▲
   acats github.com

   tool category #ada link ↗

   The Ada Conformity Assessment Test Suite, customised for GCC.

   
6. ▲
   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++.

   

Ada/SPARK › Compilers > Open source > GPL (with linking exception): “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.”