ada-magic

mapusoft.comsite

SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   ada-cpp-java learn.adacore.com

   site category #ada link ↗

   Ada for the C++ or Java Developer.

2. ▲
   ada-utilities github.com

   tool category #ada link ↗

   VSCode extension Ada programmers which provides a few utility functions.

   
3. ▲
   adacontrol adalog.fr

   site category #ada link ↗

   Ada constructs lint tool.

4. ▲
   cmake-ada-offa github.com

   tool category #ada link ↗

   Ada language support for CMake.

   
5. ▲
   ada-libmagic gitlab.com

   site category #ada link ↗

   Magic Number Recognition Library Ada binding (libmagic (3)).

   
6. ▲
   ada-safe-secure adacore.com

   site category #ada link ↗

   Safe and Secure Software. An invitation to Ada 2012.

Ada/SPARK › Applications > Generators and Translators: “SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE.”