Ada Language
Showing 36 of 87 projects
A curated list of awesome resources for the Ada and SPARK programming languages, including compilers, libraries, tools, and applications.
A grep-like tool that searches for matching contexts of contiguous lines, enabling incremental code exploration in large codebases.
A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.
Ada and SPARK drivers library for bare-metal microcontrollers, supporting ARM Cortex-M and RISC-V platforms.
A small, quick Ada compiler fully written in Ada, providing an open-source tool for Ada language development.
An Ada library providing comprehensive cryptographic primitives including symmetric/asymmetric encryption, hashing, and elliptic curve arithmetic.
A G-code parser and CNC controller written in Ada for ARM Cortex-M microcontrollers.
A lightweight Ada-language development framework for implementing software systems across diverse hardware platforms from embedded boards to mainframes.
A component-based, model-driven framework for building reliable embedded real-time software in Ada, originally for spacecraft flight software.
A GUI framework for Ada that uses concurrent tasks and event queues instead of callback functions.
A Google Protocol Buffers implementation in Ada, providing code generation and runtime support for serializing structured data.
A free terminal emulator for Data General DASHER D200/D210 character-based terminals, supporting serial and telnet connections.
A command-line tool and library for storing sensitive data and documents in encrypted keystores using AES-256 and HMAC-256.
A standalone, portable pure Ada library for creating, extracting, and manipulating .zip archives with LZMA and BZip2 support.
A lightweight editor for Ada that provides a script-like feel while integrating with full-scale development tools like GNAT.
A Game Boy emulation library written in Ada, serving as a proof-of-concept for the language's suitability in emulator development.
A standalone, portable Ada package for decoding various image formats from any data stream to any output medium.
A static site generator written in Ada with extensive custom tag support and auto-reconfiguration capabilities.
A standalone, portable Ada package for dynamically generating PDF documents with vector graphics, text, and images.
A free and open-source Ada programming framework for building GUI applications on MS Windows.
Compiles Ada and SPARK code directly to NVIDIA GPUs using CUDA toolsuite.
A first-person 3D sokoban puzzle game in a Stargate fantasy setting, built with modern OpenGL and Ada.
A minimal educational blockchain implementation written in Ada, demonstrating core concepts like mining and validation.
Standard Ada library specification as defined in the Ada Reference Manual with implementation-defined values marked.
A 4X turn-based strategy game written in Ada 2022, featuring exploration, expansion, exploitation, and extermination mechanics.
Ada language bindings for the Windows API, enabling Windows application development in Ada.
GLOBE_3D: a real-time 3D Engine written in Ada
A sound synthesizer library implemented in Ada that generates music from WAV samples, supporting real-time and offline playback with high polyphony.
A library for parsing and rendering Markdown and multiple Wiki syntaxes (MediaWiki, Creole, PhpBB, etc.) with customizable filters.
A sprite and tile 2D render engine designed for microcontrollers and low-performance systems.
A Doom Emacs module for Ada development with syntax highlighting, LSP support, and Alire integration.
A kid-friendly retro 3D point-and-click adventure game, reimagining the classic Atari Adventure with mazes, beasts, and ancient Persian themes.
A Unicode string library for Ada that adapts internal representation to content, supporting multiple encodings without programmer choice.
Experimental Ada code generation support for Google Protocol Buffers, enabling Ada applications to use Google's data interchange format.
Pascal to Ada translator
A pure Ada library for generating 1D and 2D bar codes (including QR codes) in PDF, SVG, and PNG formats.
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.