increment

github.comtool

Incremental analysis in Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   augusta github.com

   tool category #ada link ↗

   Ada compiler written in Scala that targets LLVM.

   
2. ▲
   gela github.com

   tool category #ada link ↗

   Ada code analyzer.

3. ▲
   mat github.com

   tool category #ada link ↗

   Simple memory analysis tool intended to help understand where the memory is used in a program.

4. ▲
   aunit github.com

   tool category #ada link ↗

   Ada unit testing framework.

   
5. ▲
   rxada github.com

   tool category #ada link ↗

   An Ada 2012 implementation of the Rx methodology.

   
6. ▲
   auto-counters github.com

   tool category #ada link ↗

   Reference counting approaches to resource management.

   

Ada/SPARK › Libraries > Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters: “Incremental analysis in Ada.”