Ada Resources ↩
This document gathers Ada related resources that caught our attention. |
- AdaCore Technologies for cyber security, part 4: Industrial scenario examples by Roderick Chapman, July 2018.
- AdaCore Technologies for cyber security, part 3: Security vulnerabilities and their mitigation by Roderick Chapman, July 2018.
- AdaCore Technologies for cyber security, part 2: The challenge of secure software by Roderick Chapman, June 2018.
- AdaCore Technologies for cyber security, part 1 by Roderick Chapman, May 2018.
- Learning Ada, by Xintia :
- Learning Ada 7: generics and (static) overloading, 2018.
- Learning Ada 6: tasking, 2018.
- Learning Ada 5: object oriented paradigm, 2017.
- Learning Ada 4: predicates, 2017.
- Learning Ada 3: exploring types, 2017.
- Learning Ada 2: more on packages, naming conventions, 2017.
- Learning Ada 1: Hello world, basic greeter package, 2017.
- Safe Parallel Programming in Ada with Language Extensions by S. Tucker Taft & al., April 2014.
Blogs ▴
- Gautier's Blog :
- Cleaning up HAC sources with AdaControl, April 2021.
- Ada 202x support in GNAT by Arnaud Charlet, October 2020.
- Declaring subtypes of private types by Jacob Sparre Andersen, September 2017.
- Self-referencing Objects by Jacob Sparre Andersen, August 2014.
- Ada Tips by Tero Koskinen :
- Declaring subtypes of private types, September 2017.
- Checking file header with Adacontrol, March 2014.
- Checking "out" parameters with Adacontrol, March 2014.
Books ▴
- Programming in Ada 2012 (2nd Edition) by John Barnes, May 2022.
(Cambridge University Press, ISBN 978-1-0091-8134-1, 970 pages) - Ada for the C++ or Java Developer by Quentin Ochem et al., 2021.
- Beginning Ada Programming by Andrew Shvets, 2020.
(Apress, ISBN 978-1-4842-5427-1, 343 pages) - GNAT Reference Manual, FSF, December 2020.
- GNAT User's Guide, FSF, December 2020.
- The Big Online Book of Linux Ada Programming by Ken O. Burtch, May 2009.
- Concurrent and Real-Time Programming in Ada by Alain Burns and Andy Wellings, July 2007.
(Cambridge University Press, ISBN 978-0-5218-6697-2, 476 pages) - Ada Distilled by Richard Riehle, July 2003.
(AdaWorks, 113 pages) - Ada 95 Quality and Style Guide, October 1995.
Community ▴
- GitHub - Simon Wright.
- Jacob Sparre Anderson.
- Dirk Craeynest home page.
- GitHub - Fabien Chouteau : embedded software projects.
- GitHub - Gautier de Montmollin : HAC (compiler written in Ada for a subset of the Ada language).
- Ada-Belgium.
- Ada Europe.
- Ada France.
- Ada Narkive Archives.
- Ada Planet.
- Ada Switzerland
- AdaCore News (Electronic Engineering Journal).
- NARKIVE – comp.lang.ada.
- reddit – r/ada.
Projects ▴
- ada-toml – a TOML parser for [Ada].
- AdaBase – Thick database bindings to MySQL, PostgreSQL and SQLite for Ada.
- AZip – a free, portable Zip Archive Manager.
- codelabs.ch – Open-source projects.
- GNAT LLVM – a GNAT front-end to the LLVM code generator.
- Zip-Ada – a standalone, portable Ada library for Zip archives.
- Ada Quality and Style Guide.
- Comp6310: Systems Networks and Concurrency, Australian National University, 2020.
- COSC 3P95: Embedded Software, Brock University, Fall 2013.
- L3-PASD : Programmation avancée et structures dynamiques by Jean-Jacques Lacrampe.
- LEARN.ADACORE.COM (including free PDF books).
- Ada Essentials: Overview, Examples and Glossary by Bard S. Crawford, 2000.
Tools and Frameworks ▴
ada-util
– an Ada utility library for composing streams, processes, logs, serialization, encoders and more.- AdaBrowse – a Javadoc-like HTML generator for Ada 95.
- alr – a command-line tool to obtain, build, and incorporate Ada libraries into a project (similar role to Rust's cargo).
- Ada Web Application – a framework to build a web application in Ada 2012.
- Aflex – an Ada fast lexical analyser generator.
- Ayacc – an Ada LALR(1) parser generator.
- Language Support for Ada – a Language Server providing Ada and SPARK support in Visual Studio Code.
- LEA – a Lightweight Editor for Ada.
- SweetAda – a lightweight development framework to inplement Ada-based software systems.
- Win32Ada – an Ada API to the Windows library.
- Overview of Ada 2022 by Jeff Cousins.
- AdaControl User Guide.
- Awesome Ada - a curated list of awesome resources related to Ada.
- Free Tools and Libraries
- UNC paths
- File path formats on Windows systems
- Microsoft Windows Topics