Ada Info

The useful links for the Ada and SPARK language

Web:

  • Ada University

http://university.adacore.com/

  • User Guide

http://docs.adacore.com/spark2014-docs/html/ug/index.html

https://www.adacore.com/papers/spark-2014-users-guide-japanese

  • Make with Ada

https://www.makewithada.org/

  • AdaIC

http://www.adaic.org/