learn

learn.adacore.comsite

Interactive learning platform designed to teach the Ada and SPARK programming languages.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   ada-ic-learning adaic.org

   site category #ada link ↗

   For additional learning resources, see the AdaIC learning section.

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

   site category #ada link ↗

   A community site for Ada.

3. ▲
   learn.adafruit.com Adafruit IO learn.adafruit.com

   site category #adafruitio link ↗
4. ▲
   simple-games drive.google.com

   site category #ada link ↗

   Learning Ada 2012 by writing simple games.

5. ▲
   adacore-video-tutorials youtube.com

   site category #ada link ↗

   AdaCore University Video Tutorials.

6. ▲
   ada-forum forum.ada-lang.io

   site category #ada link ↗

   Ada Forum at ada-lang.io.

   

Ada/SPARK › Education > Entry Point: “Interactive learning platform designed to teach the Ada and SPARK programming languages.”