Ada

Straylightajxs/straylight

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

tictactoeAdaCore/tictactoe

A tic-tac-toe game formally verified using the SPARK programming language to ensure correctness.

base58-adaMichaelAllenHardeman/base58_ada

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

ada-gafrett27/Ada-GA

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

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.

asis2xmlsimonjwright/asis2xml

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

ada-libsecretstcarrez/ada-libsecret

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

hungarian-algorithmfastrgv/HungarianAlgorithm

A fully functional implementation of the Hungarian Algorithm in Ada for solving assignment problems with minimal cost.

scripted-testingsimonjwright/scripted_testing

A functional testing framework for Ada software using Tcl scripts to simulate and verify interactions with system components.

cstringsmosteo/cstrings

Ada library providing convenience subprograms for safe and efficient interaction with C strings.

lunar-lander-rotationAdaCore/Lunar_Lander_Rotation_Demo

Real-time 3D lunar lander model controlled by BNO055 IMU orientation data via serial connection.

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.

ada-nanovgraph-amiard/ada-nanovg

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

sip-hashgrim7reaper/SipHash

A pure Ada implementation of the SipHash pseudorandom function optimized for speed on short messages.

xxhash-adalyarbean/xxhash-ada

Ada implementation of the xxHash non-cryptographic hash algorithm for high-speed hashing.

dl-adamosteo/dl-ada

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

ajunitgenmosteo/ajunitgen

A lightweight Ada library for generating JUnit-compatible XML test reports without requiring a full test framework.

winforms2gtkfdesp87/winforms2gtk

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

evb1000damaki/EVB1000

Ada/SPARK drivers for controlling peripherals on the DecaWave EVB1000 evaluation board.

rsfilemosteo/rsfile

A command-line utility that selects a file from a folder hierarchy with probability proportional to its size.

cvsweb2gitreznikmm/cvsweb2git

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

licensingmosteo/licensing

An Ada library providing implementations of common open-source licenses from Choosealicense.com.

ada-v4l2frett27/AdaV4L2

Ada Posix binding to Video4Linux for Raspberry Pi camera acquisition and IoT sensor applications.

elogskevlar700/elogs

A SPARK-proven logging library for embedded systems, guaranteed free of runtime errors.

wiring-pi-adajklmnn/wiringPi-Ada

Ada bindings for the wiringPi GPIO library, enabling Ada developers to interface with Raspberry Pi GPIO pins.

em-brickit-cosmos/emBRICK

Ada language driver and support library for the emBRICK embedded hardware platform.