Fabien-Chouteau

Wee-Noise-Maker

Open source pocket synthesizer

usb_embedded

An Ada USB stack for embedded devices

bbqueue-spark

An Ada implementation of James Munns' BBQueue

raylib-ada

Ada bindings for the Raylib library

lpc_synth

Ada implementation of Linear Predictive Coding voice synthesizer

adventofcode-ada

Solutions to the adventofcode.com puzzles implemented in Ada

adverserial

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

hal

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

chipmunk2D-ada

Ada bindings for the Chipmunk2D physics engine

lvgl-ada-simulator

SDL simulator for the Ada binding of lvgl embedded GUI library

Ada_SPARK_on_ESP32C3_Demo

cortex-m

Ada drivers for the peripherals of ARM Cortex-M micro-controllers (NVIC, SysTick, etc.)

embedded-components

Platform agnostic drivers to interface external components

fsmaker

Command line tool to create embedded filesystem images

lvgl-ada-examples

recordflux-example

Example for code for a RecordFlux blog post

rtmidi_ada

Ada binding for the rtMIDI library

setup-ada

GitHub action to setup an Ada/SPARK dev environment

ada-logo-editor

Static website that provides easy customization of the Ada horizon logo

alire-index

Indexed projects and supporting data types of the Alire project

arduboy-ada

Ada Framework for the Arduboy game console

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

MIDI

Ada library to encode and decode MIDI messages

MIDIVisualizer

A small MIDI visualizer tool, using OpenGL

MultiPL-E

A multi-programming language benchmark for evaluating the performance of large language model of code.

neorv32_litex_hal

HAL (Hardware Abstraction Layer) for the NeoRV32 as generated by LiteX for the ULX3S FPGA

pidcodes.github.com

Website for pid.codes

rp2040_hal

talks

A repository for my talks

uf2_utils

Build and read UF2 files