Ada Programming
Showing 17 of 17 projects
A re-implementation of id Software's id-tech 4-BFG game engine in the Ada programming language.
Generates runtime source trees for AdaCore's GNAT bare metal board support packages (BSPs).
A simple audio synthesis library for creating musical instruments that can run on bareboard devices like STM32F4 or Raspberry Pi.
A comprehensive XML parsing and manipulation toolkit for Ada95, implementing DOM and SAX standards.
A modular embedded network stack implementing IPv4, UDP, DNS, DHCP, and other protocols for STM32 microcontrollers.
A standalone, portable Ada package for dynamically generating PDF documents with vector graphics, text, and images.
Yearly prize awarding $6,000 to the best Alire crates in Ada, SPARK, and embedded categories to grow the ecosystem.
A real-time Ethernet traffic analyzer that runs on a STM32F746 microcontroller board with a touchscreen display.
Demonstrates interfacing Lego NXT Mindstorms sensors and effectors using Ada on low-cost ARM evaluation boards.
Command-line utilities for encrypting and decrypting files using Threefish and XOR encryption algorithms.
A simulation of the Mars Polar Lander mission with configurable parameters to explore the crash scenario and prevention.
A formally verified implementation of the Ascon lightweight authenticated encryption algorithm in Ada/SPARK.
Real-time 3D lunar lander model controlled by BNO055 IMU orientation data via serial connection.
A GtkAda GUI application demonstrating the Doppler effect with a moving airplane using OpenAL for stereo sound simulation.
A tool that converts Visual Basic Windows Forms UI definitions to GTK Glade format and generates corresponding Ada code.
Ada/SPARK drivers for controlling peripherals on the DecaWave EVB1000 evaluation board.
Ada bindings for the wiringPi GPIO library, enabling Ada developers to interface with Raspberry Pi GPIO pins.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.