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.

Ada-language framework

Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.

LEA is a Lightweight Editor for Ada

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

GWindows: GUI framework for MS Windows

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents

GLOBE_3D: a real-time 3D Engine written in Ada

Pascal to Ada translator

SPARK Proof Analysis Tool

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

A cryptographic framework, proven for correctness in SPARK

AZip: a free, portable Zip Archive Manager

Adventures for Learning and Inspiring Coding Excellence

The Corporate Bullshit Generator

Mathpaqs: a collection of mathematical packages in pure Ada

Wasabee: a Web browser with safety focus. Project is in early development stage.

Ini file manager: a standalone, portable Ada package for configuration files

Utility library to pretty print physical values in proper metric units

Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets

TeXCAD: a simple LaTeX {picture} drawing tool

Ada Language bindings for Motif, Xt & Xlib

Ada is a high-level, strongly typed, and structured programming language developed for the U.S. Department of Defense in the late 1970s, specifically designed for reliability, maintainability, and safety-critical real-time systems. It is widely used in industries like avionics, defense, and railway systems

A repository for showcasing my knowledge of the Ada programming language, and continuing to learn the language.

Ada binding & wrapper for a tiny cross-platform webview library to build modern cross-platform GUIs.

a collection of games written using the ada programming language

An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.

The Ada IDE submodule for SNU Programming Tools (2D Mode)