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–7 of 7 · Most stars
An Ada 2012 library for parsing JSON
- ada
- json-ada
- json
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.