GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK formal verification automated with Travis CI
Ada finite-state machine generator.
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