Ada

ada-traits-containersAdaCore/ada-traits-containers

A flexible Ada library offering generic containers and algorithms with SPARK compatibility and performance control.

eagle-landerFabien-Chouteau/eagle-lander

A realistic Apollo 11 lunar lander simulator built with Ada, GTK, and Cairo for interactive landing practice.

gadeellamosi/gade

A Game Boy emulation library written in Ada, serving as a proof-of-concept for the language's suitability in emulator development.

swagger-adastcarrez/swagger-ada

An Ada library and code generator support for creating REST API clients and servers from OpenAPI specifications.

havkRavSS/HAVK

A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.

generic-image-decoderzertovitch/gid

A standalone, portable Ada package for decoding various image formats from any data stream to any output medium.

bbtLionelDraghi/bbt

A cross-platform BDD driver for black-box testing of CLI applications directly from Markdown documentation.

yassyet-another-static-site-generator/yass

A static site generator written in Ada with extensive custom tag support and auto-reconfiguration capabilities.

gwindowszertovitch/gwindows

A free and open-source Ada programming framework for building GUI applications on MS Windows.

ada-enetstcarrez/ada-enet

A modular embedded network stack implementing IPv4, UDP, DNS, DHCP, and other protocols for STM32 microcontrollers.

ada-gatefastrgv/AdaGate

A first-person 3D sokoban puzzle game in a Stargate fantasy setting, built with modern OpenGL and Ada.

cudaAdaCore/cuda

Compiles Ada and SPARK code directly to NVIDIA GPUs using CUDA toolsuite.

spark-xmlComponolit/SXML

A formally verified XML library in SPARK 2014, proven free of runtime errors and with bounded stack usage for secure untrusted data processing.

gneissComponolit/gneiss

A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.

simple-blockchaintomekw/simple_blockchain

A minimal educational blockchain implementation written in Ada, demonstrating core concepts like mining and validation.

tadatomekw/tada

An opinionated package management tool for Ada that handles building, testing, and running Ada packages.

ada-securitystcarrez/ada-security

An Ada framework for OAuth 2.0 and OpenID Connect client/server authentication to secure web applications.

win32adaAdaCore/win32ada

Ada language bindings for the Windows API, enabling Windows application development in Ada.

jwxComponolit/jwx

A formally verified SPARK library for parsing and validating Base64, JSON, JWK, JWS, and JWT data with guaranteed absence of runtime errors.

ada-wikistcarrez/ada-wiki

A library for parsing and rendering Markdown and multiple Wiki syntaxes (MediaWiki, Creole, PhpBB, etc.) with customizable filters.

ada-synthetizerfrett27/Ada-Synthetizer

A sound synthesizer library implemented in Ada that generates music from WAV samples, supporting real-time and offline playback with high polyphony.

gesteFabien-Chouteau/GESTE

A sprite and tile 2D render engine designed for microcontrollers and low-performance systems.

hunterthindil/hunter

A graphical and console file manager for Linux, inspired by Ranger, with dual-column layout and plugin support.

opencl-adaflyx/OpenCLAda

An Ada binding for the OpenCL host API, enabling OpenCL host programming in Ada.

ux-stringsBlady-Com/UXStrings

A Unicode string library for Ada that adapts internal representation to content, supporting multiple encodings without programmer choice.

ada-venturefastrgv/AdaVenture

A kid-friendly retro 3D point-and-click adventure game, reimagining the classic Atari Adventure with mazes, beasts, and ancient Persian themes.

ada-timeFabien-Chouteau/Ada_Time

Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.

a-shellcharlie5/aShell

A library for building shell-like applications and command pipelines in Ada.

protobuf-adapersan/protobuf-ada

Experimental Ada code generation support for Google Protocol Buffers, enabling Ada applications to use Google's data interchange format.

ada-bar-codeszertovitch/ada-bar-codes

A pure Ada library for generating 1D and 2D bar codes (including QR codes) in PDF, SVG, and PNG formats.

cbsgzertovitch/cbsg

A high-performance random text generator focused on corporate language, producing AI-inspired business jargon.

robotics-with-adaAdaCore/Robotics_with_Ada

Demonstrates interfacing Lego NXT Mindstorms sensors and effectors using Ada on low-cost ARM evaluation boards.

cursesannexi-strayline/Curses

A high-level, task-safe Ada binding for ncurses with automatic rendering, color management, and multi-terminal support.

ada-idanthony-arnold/AdaID

An Ada library for generating UUIDs with support for random, name-based, and string-conversion operations.

ada-asfstcarrez/ada-asf

A web application framework for Ada that implements the Java Server Faces (JSF) specification pattern.

kafka-adaLatence-Technologies/Kafka-Ada

Ada bindings for the librdkafka C library, enabling Ada applications to produce and consume messages from Apache Kafka.