Ada & SPARK (safety-critical software)
The planned outline of 9 modules. Lessons are written, run and reviewed before they are published.
Planned outline
- Module 1
Start here: toolchain, program structure and scalar types
Coming soon - Module 2
Strong typing, subprograms and contracts
Coming soon - Module 3
Arrays, strings, records, containers and I/O
Coming soon - Module 4
Packages, exceptions, checks and access types
Coming soon - Module 5
Object-oriented programming, controlled types and generics
Coming soon - Module 6
Concurrency and real time
Coming soon - Module 7
SPARK: flow analysis and proof with GNATprove
Coming soon - Module 8
Embedded and low-level Ada
Coming soon - Module 9
Testing, coverage and safety standards
Coming soon
Related tools
Number Base Converter Binary, octal, decimal, hex and every base to 36 — exact, with the working shown. Programmer Calculator (Bitwise) Bitwise maths at a real bit width — with overflow, endianness and every base at once. IEEE 754 Floating-Point Converter See exactly how a number is stored in binary floating point — every bit, every digit. CRC Calculator (CRC-8/16/32/64) Every catalogued CRC, custom parameters, checksums and C code — for text, hex or files. Hex Viewer & File Inspector A private hex viewer for files of any size, with a data inspector and file-type detection.
Official documentation
- www.adaic.org/resources/add_content/standards/22rm/html/RM-TOC.html (adaic.org)
- docs.adacore.com/spark2014-docs/html/ug/index.html (docs.adacore.com)
- alire.ada.dev/docs (alire.ada.dev)
- gcc.gnu.org/onlinedocs/gcc-16.1.0/gnat_ugn/index.html (gcc.gnu.org)
More in Programming languages
- Python (coming soon)
- SQL (PostgreSQL, MySQL, SQLite) (coming soon)
- JavaScript (ES2026) (coming soon)
- Java (JDK 25 LTS) (coming soon)
- All Languages tracks
- How we make lessons