Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
70,234 visible repositories in the index
1–11 of 11 · Most stars
William Whitaker's WORDS, a Latin dictionary
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
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
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
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
- ada
- ada-language
- excel
- excelwriter
A simple 3DS Max model renderer
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
- weechat-plugin
- canberra
- ada
- weechat