Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada support for OpenAPI code generator
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
Waking up with a fresh cup of coffee
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
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
Supports functional testing using Tcl scripts.
emBRICK driver and support for emBRICK in Ada