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

LEA is a Lightweight Editor for 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

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

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

SPARK Proof Analysis Tool

The Corporate Bullshit Generator

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

A cryptographic framework, proven for correctness in SPARK

Pascal to Ada translator

Mathpaqs: a collection of mathematical packages in pure Ada

AZip: a free, portable Zip Archive Manager

Adventures for Learning and Inspiring Coding Excellence

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

Utility library to pretty print physical values in proper metric units