LEARN.ADACORE.COMΒΆ
Edit on GitHubLearn.adacore.com is an interactive learning platform designed to teach the Ada and SPARK programming languages.
- About
- Courses
- Introduction to Ada
- Introduction to SPARK
- Ada for the C++ or Java Developer
- SPARK Ada for the MISRA C Developer
- Introduction to GNAT Toolchain
- Labs
Try Ada and SPARK now with GNAT Community edition.
GNAT Community includes the Ada compiler and toolchain, the SPARK verifier and provers, and the GNAT Programming Studio IDE.