William Whitaker's WORDS, a Latin dictionary
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
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
An Ada binding generator from SVD descriptions for bare board ARM devices.
Simple audio synthesis library
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Standard Ada library specification as defined in Reference Manual
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
Ethernet traffic monitor on a STM32F746 board
Apache Kafka Ada client library, based off of librdkafka
Ada interface to the readline library
Ada bindings for libsoundio
base58 encoding and decoding in ada
Ada bindings to NanoVG