Ada
Standards
- Ada 2012 Standards
- Ada 95 Quality and Style Guide
- MIL-STD-498
- Elaboration Order Handling in GNAT
- Online Ada Standard, Rationale and other Documents
- Ada Rapporteur Group
Learning
- Ada Lovelance tutorial
- Ada for the C++ or Java developer (pdf) (local mirror 20210225)
- Ada 95: The Craft of Object-Oriented Programming (pdf) (local mirror 20210225) (html)
- High-Integrity Object-OrientedProgramming in Ada (local mirror 20210225)
- AdaCore U Video Tutorials
- Learn AdaCore.com
- Object-Oriented Programming with Ada 9X
- Teaching OOP in Ada (local mirror 20210225)
- Ada Core (slides): An Invitation to Ada 2005
- ch3 Safe Pointers
- ch4 Safe Architeture
- Ada Core books
Runtime
- Porting the Ada Runtime to a new ARM board
- Run-time STM32 (include STM32F103 bluepill)
- Adacore bare metal runtimes
- Cortex GNAT RTS (github)
- ARM Startup gen
Sites and Links
- Awesome-ada (Ada links)
- Ada Home
- Ada Home.com
- Ada Power
- Ada User Journal
- BLOG “Should have used Ada”
- Ada-ru.org
- comp.lang.ada (google groups)
- AUnit
- Ravenscar profile (wikipedia)
- hrrzi.com
- Using a Raspberry Pi3 as an OpenOCD server
- AVR-ada (sourceforge)
- Free Tools and Libraries
- Docker for GNAT Ada Compiler
- Hackster.io AdaCore
- Ada95 Tutorial
- Ada 95 Booch Components
- MarteOS
- Singleton (stackoverflow)
- Ada and SPARK on ARM Cortex-M
- Muen - An x86/64 Separation Kernel for High Assurance (pdf)
- Hidden Finalizers
- CxOS : a personal research project operating-system implemented in Ada (github)
Criticisms
- “A Hole in Ada Type Safety” by Florian Weimer
- A Type Safety Hole in Unsafe Rust by Florian Weimer
- A bug and a crash by James Gleick
People
- John Barnes
- Simon Wright
- Luke A. Guest
- Justin Squirek ???
- Gabriele Galeotti