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–3 of 3 · Most stars
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.