Standard Ada library specification as defined in Reference Manual
Repository Index
71,372 visible repositories in the index
25–48 of 68 · Most stars
Tomek's Ada build tool
- ada
- package-manager
- tada
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Ada binding for the Pebble Time smartwatch
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
Matreshka Project
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
An Ada 2012 package to parse command line arguments and options
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
libsodium for Ada - A secure cryptographic library
A collections of small nifty demos/sample code that may help better layout data or structure project
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files
Ada finite-state machine generator.
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)