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–21 of 21 · Most stars
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
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
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
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.
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 privilege escalation
The Ada Conformity Assessment Test Suite, customised for GCC.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
Ada packages for handling SI units of measure
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
Ada implementation of D’Hondt electoral result calculator
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Convenience subprograms to interact with C strings
Supports functional testing using Tcl scripts.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
Trivial implementation of fletcher_16 sum computation algorithm.
emBRICK driver and support for emBRICK in Ada