Ada-language framework
- ada
- ada-language
- arm
- avr
Repository Index
61,275 visible repositories in the index
1–13 of 13 · Most stars
An attempt at a minimalistic and secure operating system.
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
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.
Administration tool for Ravenports
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
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
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
SPARK formal verification automated with Travis CI
Behavior Driven Development in Ada
J2Ada translates a Java valid source code in Ada source code.
Ada Posix Binding to Video 4 Linux, used for RPI