ada-library

There are 12 repositories under ada-library topic.

ohenley/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
623 48 1771
zertovitch/gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Language:Ada23 4 03
zertovitch/zip-ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
Language:Ada23 4 43
zertovitch/gwindows
GWindows: GUI framework for MS Windows
Language:Ada21 6 85
zertovitch/ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Language:Ada15 5 51
zertovitch/ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Language:Ada13 3 00
zertovitch/mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Language:Ada11 4 13
pvrego/dogrobot
DogRobot : A Home C4ISR System
Language:Ada7 3 141
zertovitch/excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
Language:Ada7 3 3
zertovitch/ini-files
Ini file manager: a standalone, portable Ada package for configuration files
Language:Ada6 4 02
rocher/euler_tools
Assortment of Ada functions to solve Euler Project problems
Language:Ada1 2 0
rocher/mold_lib
Meta-variable Operations for Lean Development
Language:Ada1 2 1