Fabien Chouteau

ACNC. A G-code parser and CNC controller (in Ada)

picoprobe-pcb.

Wee-Noise-Maker. Open source pocket synthesizer

eagle-lander. Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)

usb_embedded. An Ada USB stack for embedded devices

raylib-ada. Ada bindings for the Raylib library

GESTE. GEneric Sprite and Tile Engine

un_pola. DIY instant camera with OpenMV and AdaFruit's thermal printer

Ada_Time. Ada binding for the Pebble Time smartwatch

noise-nugget. Square Inch Synthesizer

Ada-PicoRV32-example. Example of Ada code running on the PicoRV32 RISC-V CPU for FPGA

qoi-spark. “Quite OK Image” Ada implementation

shoot-n-loot. A little platform and shoot game for the AdaFruit PyGamer

bbqueue-spark. An Ada implementation of James Munns' BBQueue

lvgl-ada. An Ada binding for the lvgl embedded GUI library: https://github.com/littlevgl/lvgl

bare_runtime. Minimal Ada/SPARK run-time for embedded or other restricted targets

Giza. Giza is trying to be a simple widget tool kit for embedded platforms

VirtAPU. A virtual Audio Processing Unit to simulate 8-bit era game sounds

spark-railway-demo. Simulated railway network in SPARK/Ada

ada-voxel-space-demo. Voxel Space render engine demo in Ada. Inspired by https://github.com/s-macke/VoxelSpace

coffee-clock. Waking up with a fresh cup of coffee

ada-mars-rover.

task_coroutines. Coroutines in Ada using only standard tasking features

lpc_synth. Ada implementation of Linear Predictive Coding voice synthesizer

atomic. Standalone binding to GCC atomic built-ins

solenoid-engine-controller. Software controller for solenoid engines (Ada/STM32F4)

TinyFPGA-BX. AGS Script

littlefs-ada. Ada/SPARK binding for the littlefs flash embedded filesystem

adverserial. A common data structure that can be encoded in JSON, TOML, YAML and XML

Ada_Drivers_Library. Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

adventofcode-ada. Solutions to the adventofcode.com puzzles implemented in Ada

AGATE. Playing with the idea of a tasking/RTOS library in Ada

hal. Hardware Abstraction Layer: interfaces definitions to abstract access to common hardware devices and protocols

tiled-code-gen. Code generator for Tiled the map editor

MCU-knowledge-database. A database of info on micro-controllers (memory, CPU core, vendor, etc.) and some scripts to manipulate it

motherlode. 2D excavation game inspired by the flash game Motherload

flux. Experimental data stream library for Ada

kabitbol. Beginning of a kernel for the Leon3 processor (in C)

setup-ada. GitHub action to setup an Ada/SPARK dev environment