A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Oct 19, 2022
#
ada-library
Here are 10 public repositories matching this topic...
GWindows: GUI framework for MS Windows
-
Updated
Nov 13, 2022 - Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
jpg
png
jpeg
pgm
bmp
image-processing
gif
ada
pnm
gif-decoder
png-decoder
bmp-decoder
jpeg-decoder
pgm-reader
ada-language
ada-library
qoi
-
Updated
Jul 25, 2022 - Ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
-
Updated
Nov 5, 2022 - Ada
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
-
Updated
Jul 18, 2022 - Ada
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
-
Updated
Oct 19, 2021 - Ada
Mathpaqs: a collection of mathematical packages in pure Ada
-
Updated
Aug 14, 2022 - Ada
DogRobot : A Home C4ISR System
home-automation
security
real-time
remote-control
remote-sensing
ada
ada-programming
ada-framework
ada-library
c4isr
-
Updated
Feb 16, 2019 - Ada
Ini file manager: a standalone, portable Ada package for configuration files
-
Updated
Sep 2, 2021 - Ada
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
-
Updated
Mar 8, 2022 - Ada
Improve this page
Add a description, image, and links to the ada-library topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ada-library topic, visit your repo's landing page and select "manage topics."