ada-cpp-java

learn.adacore.comsite

Ada for the C++ or Java Developer.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   adacore-ada marketplace.visualstudio.com

   site category #ada link ↗

   Language Support for Ada. It includes Language Server for Ada.

   
2. ▲
   ada-lang-io ada-lang.io

   site category #ada link ↗

   A community site for Ada.

3. ▲
   ada-language-server github.com

   tool category #ada link ↗

   Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.

   
4. ▲
   j2ada github.com

   tool category #ada link ↗

   Translator for a Java valid source code in Ada source code.

5. ▲
   ada-craft adaic.org

   site category #ada link ↗

   Ada 95: The Craft of Object-Oriented Programming.

6. ▲
   janus-ada rrsoftware.com

   site category #ada link ↗

   Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.

Ada/SPARK › Education > Online Books: “Ada for the C++ or Java Developer.”