A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Oct 13, 2024
A curated list of awesome resources related to the Ada and SPARK programming language
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
GWindows: GUI framework for MS Windows
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Mathpaqs: a collection of mathematical packages in pure Ada
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
DogRobot : A Home C4ISR System
Ini file manager: a standalone, portable Ada package for configuration files
Assortment of Ada functions to solve Euler Project problems
Meta-variable Operations for Lean Development
Add a description, image, and links to the ada-library topic page so that developers can more easily learn about it.
To associate your repository with the ada-library topic, visit your repo's landing page and select "manage topics."