A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
The Google Protocol Buffers implementation in Ada
The AURA Reference Implementation
Standard Ada library specification as defined in Reference Manual
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Waking up with a fresh cup of coffee
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
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
A fuzzy inference system library for Ada
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.