SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Ada bindings for the GTK+ graphical library.
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
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
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)