GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
Collection of basic math routines in Ada
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
Matreshka Project
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
SPARK formal verification automated with Travis CI
Ada finite-state machine generator.
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Memory Analysis Tool
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada