GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Repository Index
47,133 repositories indexed
1–24 of 25 · Most stars
A G-code parser and CNC controller (in Ada)
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Simple audio synthesis library
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
The AURA Reference Implementation
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
GEneric Sprite and Tile Engine
Ada binding for the Pebble Time smartwatch
Square Inch Synthesizer
The repository host gives no description.
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
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.
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)
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
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
Code generator for Tiled the map editor
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.