Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- 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
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
A collections of small nifty demos/sample code that may help better layout data or structure project
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.