ada.md
July 15, 2021 · View on GitHub
Bookmarks tagged [ada]
www.codever.land/bookmarks/t/ada
awesome-ada
https://github.com/ohenley/awesome-ada#readme
A curated list of awesome resources related to the Ada and SPARK programming language - ohenley/awesome-ada
- tags: awesome-list, programming-languages, ada
- :octocat: source code
Az Ada programozási nyelv
http://mek.oszk.hu/01200/01256/index.phtml
Kozics Sándor (PDF)
Cours Ada 95 pour le programmeur C++
http://d.feneuille.free.fr/c++%20to%20ada%201.0a.pdf
Quentin Ochem (PDF)
Cours Ada
http://d.feneuille.free.fr/cours-ada-iut.zip
Daniel Feneuille (Support d'un cours enseigné à l'IUT d'Aix-en-Provence) (ZIP)
The Big Online Book of Linux Ada Programming
http://www.pegasoft.ca/resources/boblap/book.html
- tags: free-programming-books, ada
Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries
http://www.ada-auth.org/standards/12rm/RM-Final.pdf
(PDF)
- tags: free-programming-books, ada
Ada Programming
https://en.wikibooks.org/wiki/Ada_Programming
- tags: free-programming-books, ada
Ada Distilled
http://www.adapower.com/pdfs/AdaDistilled07-27-2003.pdf
(PDF)
- tags: free-programming-books, ada
A Guide to Ada for C and C++ Programmers
http://www.cs.uni.edu/~mccormic/4740/guide-c2ada.pdf
(PDF)
- tags: free-programming-books, ada