A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
May 22, 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
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
GWindows: GUI framework for MS Windows
GLOBE_3D: a real-time 3D Engine written in Ada
SPARK Proof Analysis Tool
Utility library to pretty print physical values in proper metric units
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Mathpaqs: a collection of mathematical packages in pure Ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
The Ada IDE submodule for SNU Programming Tools (2D Mode)
Ini file manager: a standalone, portable Ada package for configuration files
A repository for showcasing my knowledge of the Ada programming language, and continuing to learn the language.
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Adventures for Learning and Inspiring Coding Excellence
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Ada category for AI2001, containing Ada programming language datasets
TeXCAD: a simple LaTeX {picture} drawing tool
Add a description, image, and links to the ada-language topic page so that developers can more easily learn about it.
To associate your repository with the ada-language topic, visit your repo's landing page and select "manage topics."