gela

github.comtool

Ada code analyzer.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   agpl github.com

   tool category #ada link ↗

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   
2. ▲
   adacontrol adalog.fr

   site category #ada link ↗

   Ada constructs lint tool.

3. ▲
   gade github.com

   tool category #ada link ↗

   A Game Boy emulation library in Ada.

   
4. ▲
   ada-ogl github.com

   tool category #ada link ↗

   Ada OpenGL Framework.

   
5. ▲
   ada-utilities github.com

   tool category #ada link ↗

   VSCode extension Ada programmers which provides a few utility functions.

   
6. ▲
   adagl github.com

   tool category #ada link ↗

   Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WebAssembly/WebGL).

Ada/SPARK › Libraries > Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters: “Ada code analyzer.”