GNAT

ada4cmakemosteo/ada4cmake

CMake macros for integrating Ada/GNAT projects into CMake-based builds without requiring gprbuild.

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.

acats-gradingsimonjwright/ACATS-grading

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

weechat-adaonox/weechat-ada

Ada 2012 library for developing WeeChat plug-ins, providing bindings to WeeChat's C API.

dhondtsimonjwright/dhondt

Ada implementation of the D'Hondt method for calculating party-list proportional representation election results.

world-cup-sokerbanfastrgv/WorldCupSokerban

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

wposixAdaCore/wposix

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

j2adaBlady-Com/j2ada

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

ada-win32Alex-Gamper/Ada-Win32

Ada language bindings for the Microsoft Win32 API, generated from Windows 10 SDK headers.

adawebuigodunko/adawebui

A Web UI framework built with Ada and WebAssembly for creating interactive web applications.

ada-fuzzybriot/adafuzzy

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

ascon-sparkjhumphry/Ascon_SPARK

A formally verified implementation of the Ascon lightweight authenticated encryption algorithm in Ada/SPARK.

ada-gafrett27/Ada-GA

A genetic algorithm library for Ada with binary chromosomes, elitism, mutation, and crossover operations.

base58-adaMichaelAllenHardeman/base58_ada

Base58 encoding and decoding implementation written in the Ada programming language.

Straylightajxs/straylight

A 64-bit RISC-V hobby monolithic kernel written in Ada, supporting pre-emptive multitasking and VirtIO devices.

ada-libsecretstcarrez/ada-libsecret

Ada binding for the libsecret library, enabling secure password and secret storage using the Secret Service API.

apq-baseada-apq/apq

A thick Ada95 database binding library supporting MySQL, PostgreSQL, Sybase, and Microsoft SQL Server with strong typing and blob stream I/O.

asis2xmlsimonjwright/asis2xml

Converts Ada source code's ASIS representation to XML for easier analysis and transformation using tools like XSLT.

doppler-effect-sample2moriyasum/GtkAda_OpenAL_Doppler_Effect_Sample2

A GtkAda GUI application demonstrating the Doppler effect with a moving airplane using OpenAL for stereo sound simulation.

winforms2gtkfdesp87/winforms2gtk

A tool that converts Visual Basic Windows Forms UI definitions to GTK Glade format and generates corresponding Ada code.

ada-nanovgraph-amiard/ada-nanovg

Ada bindings to NanoVG providing a lightweight alternative to Cairo/GtkAda for vector graphics drawing.

blake2slkujaw/blake2s

A SPARK83 implementation of the BLAKE2s hash function for Ada 1987, designed for resource-constrained platforms.

dl-adamosteo/dl-ada

Minimal Ada binding to libdl for dynamic loading of shared libraries.

multiplexed-iosimonjwright/multiplexed-io

Explorations of multiplexed digital I/O drivers for AdaPilot using Ada 2012 Ravenscar profile and SPARK for verification.

cvsweb2gitreznikmm/cvsweb2git

Imports CVS repositories from Ada Conformity Assessment Authority into Git repositories.