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–13 of 13 · Most stars
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
An Ada binding generator from SVD descriptions for bare board ARM devices.
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
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
This is an Ada 2012 package that provides an interface to BLAS.
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos