ada-language topic

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

zertovitch

A curated list of awesome resources related to the Ada and SPARK programming language

ohenley

GWindows: GUI framework for MS Windows

zertovitch

LEA is a Lightweight Editor for Ada

zertovitch

Ada-language framework

gabriele-galeotti

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

zertovitch

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

zertovitch

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 w...

kburtch

SPARK Proof Analysis Tool

HeisenbugLtd

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

zertovitch