adacore-video-tutorials

0 stars0 forks0 contributors

Overview

AdaCore University Video Tutorials

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Created

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Ada 2012 crash course under 50 pages from Vermont Technical College

Learning Ada 2012 by writing simple games