Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
63,269 visible repositories in the index
1–12 of 12 · Most stars
An Ada-oriented GUI
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
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.
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK formal verification automated with Travis CI
Simulated railway network in SPARK/Ada
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
Distributed Simulation of Transport Networks
Supports functional testing using Tcl scripts.