A cryptographic framework, proven for correctness in SPARK
-
Updated
May 27, 2024 - Ada
A cryptographic framework, proven for correctness in SPARK
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
Ini file manager: a standalone, portable Ada package for configuration files
AZip: a free, portable Zip Archive Manager
A curated list of awesome resources related to the Ada and SPARK programming language
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
Mathpaqs: a collection of mathematical packages in pure Ada
GWindows: GUI framework for MS Windows
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 PDF Writer: a standalone, portable package for producing dynamically PDF documents
Backup of the ada-planet.blogspot.com theme
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
GLOBE_3D: a real-time 3D Engine written in Ada
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."