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
A G-code parser and CNC controller (in Ada)
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
GEneric Sprite and Tile Engine
Ada binding for the Pebble Time smartwatch
Square Inch Synthesizer
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Giza is trying to be a simple widget tool kit for embedded platforms
Waking up with a fresh cup of coffee
Simulated railway network in SPARK/Ada
Software controller for solenoid engines (Ada/STM32F4)
Code generator for Tiled the map editor
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size