Ada

asapannexi-strayline/ASAP

A public repository for the ANNEXI-STRAYLINE AURA project, providing Ada package configurations for Git-based dependency management.

mosquitto-adapersan/mosquitto-ada

Ada language bindings for the Mosquitto MQTT broker client library.

coffee-clockFabien-Chouteau/coffee-clock

An STM32-based alarm clock that automatically brews espresso to wake you up with fresh coffee.

gnatbddbriot/gnatbdd

A library providing Behavior Driven Development (BDD) support for Ada, enabling tests written in English before implementation.

florist-bladyBlady-Com/florist

POSIX Ada Bindings implementing IEEE Standards 1003.5 for Ada programming language.

threefishjrcarter/Threefish

Command-line utilities for encrypting and decrypting files using Threefish and XOR encryption algorithms.

gade-sdlellamosi/gade-sdl

A minimal SDL front end in Ada for the Gade Game Boy emulator, providing a portable reference implementation.

retro-arcadefastrgv/RetroArcade

A portable collection of ASCII Space Invaders, Pacman, and Frogger games with sound that run in a terminal on Windows, OSX, and Linux.

ada-net-frameworkAlex-Gamper/Ada-NetFramework

Ada language bindings for the Microsoft .NET Framework API, enabling Ada developers to access .NET functionality.

rufas-cubefastrgv/RufasCube

A unique 3D slider puzzle game resembling a Rubik's Cube, but based on sliding mechanics, available for Windows, macOS, and Linux.

solenoid-engine-controllerFabien-Chouteau/solenoid-engine-controller

Software controller for solenoid engines written in Ada for STM32F4 microcontrollers.

simple-loggingalire-project/simple_logging

Easy-to-use logging facilities for console output in Ada programs, with preelaborable package support.

imgui-adaCre8or/ImGui-Ada

Ada language binding for the Dear ImGui immediate-mode graphical user interface library.

ada-prettyreznikmm/ada-pretty

A library for generating nicely formatted Ada source code by constructing syntax trees programmatically.

ada-bundlerflyx/ada-bundler

A library and tool for transparently handling resource file access and bundling in Ada applications across macOS, Windows, and Linux.

ada-sodokufrett27/Ada-Sodoku

A small Ada library for solving and finding Sudoku grids using optimized brute-force combinatorial evaluation.

chestsJeremyGrosser/chests

Chests provides bounded containers (stacks and ring buffers) for embedded systems without dynamic memory allocation.

tp7-ada-gnogaBlady-Com/tp7ada-gnoga

Ada bindings for Turbo Pascal 7.0 units using the Gnoga framework to facilitate Pascal-to-Ada translation.

mars-mplJellix/mars_mpl

A simulation of the Mars Polar Lander mission with configurable parameters to explore the crash scenario and prevention.

buttonsandreacervetti/buttons

A puzzle game where players click numbered buttons on a grid to reduce them all to zero, written in Ada with GTK.

stm32-uistcarrez/stm32-ui

Ada library for building graphical applications on STM32F746 and STM32F769 boards with touch buttons, graphs, clocks, and GIF images.

ada-soundioraph-amiard/ada-soundio

Ada language bindings for the libsoundio cross-platform audio input/output library.

anagramreznikmm/anagram

An Ada library for grammar handling, parser generation, and working with BNF, EBNF, and attributed grammars.

railway-simulationAdaCore/SPARK_Railway_Simulation_Demo

A railway network simulation with a SPARK/Ada-proven signaling system that guarantees collision avoidance.

wposixAdaCore/wposix

Ada binding to POSIX APIs for Windows, enabling POSIX-compatible development on Windows systems.

ada-lisp-embeddedBrentSeidel/Ada-Lisp-Embedded

Extensions to the Tiny Lisp language for embedded applications on Arduino Due and Raspberry Pi platforms.

j2adaBlady-Com/j2ada

J2Ada translates valid Java source code into Ada source code, supporting a large portion of Java syntax.

world-cup-sokerbanfastrgv/WorldCupSokerban

A soccer-themed 3D Sokoban puzzle game with embedded autosolvers, featuring Andres Cantor's voice commentary.

acats-gradingsimonjwright/ACATS-grading

A Unix-compatible tool suite for grading Ada Conformity Assessment Test Suite (ACATS) results, originally adapted from Windows utilities.

incrementreznikmm/increment

An Ada library for incremental lexical and syntactic analysis of program text, primarily for IDE construction.

testytomekw/testy

A testing framework for Ada, part of the Tada ecosystem, providing assertion-based unit testing.

mine-detectorjrcarter/Mine_Detector

A minesweeper-style puzzle game built with Ada and Gnoga/Ada-GUI for desktop platforms.

engine-3dzertovitch/engine-3d

A pure software 3D engine for DOS and Linux, featuring real-time rendering with dynamic lighting, animated textures, and portal rendering.

blackvideo-mini-playerBlackBlazent/blackvideo-mini-player

A lightweight, cross-platform CLI video player built with Ada, featuring offline/cloud caption generation and sprite thumbnail previews.

xiasimonjwright/xia

A native Ada implementation of the XPath 1.0 specification for querying XML documents.

ada-fuzzybriot/adafuzzy

A fuzzy inference system library for Ada that enables fuzzy logic control and decision-making applications.