↓Skip to main content

Ada

2026


Serial communication

A short overview of the adacl_serial crate. Not a reference — that is what GNATdoc is for.

How to Set Up Unit Tests and SPARK Proofs

Learn how to structure an Ada/Alire project with multiple test and proof configurations, integrate them with Alire actions, and set up a convenient Visual Studio Code workspace.

2025


Search-and-replace Library

Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.

Encoding-Aware String Utilities

Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).

Ada Class Library

AdaCL: Strings, Regex, Search/Replace, and more with i18n support.

2024


GNU GetOpt

·
Object-oriented, re-entrant GetOpt parser with Wide_Wide_String options and file names.

Regular Expressions

·
Regular Expressions for Strings, Wide_Strings and Wide_Wide_Strings.

Fluent AUnit Asserts

·
Assets for AUnit with additional information on failure.