Ada Language
Showing 36 of 39 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 Google Protocol Buffers implementation in Ada, providing code generation and runtime support for serializing structured data.
A GUI framework for Ada that uses concurrent tasks and event queues instead of callback functions.
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.
Compiles Ada and SPARK code directly to NVIDIA GPUs using CUDA toolsuite.
A free and open-source Ada programming framework for building GUI applications on MS Windows.
Standard Ada library specification as defined in the Ada Reference Manual with implementation-defined values marked.
A minimal educational blockchain implementation written in Ada, demonstrating core concepts like mining and validation.
A first-person 3D sokoban puzzle game in a Stargate fantasy setting, built with modern OpenGL and Ada.
Ada language bindings for the Windows API, enabling Windows application development in Ada.
A 4X turn-based strategy game written in Ada 2022, featuring exploration, expansion, exploitation, and extermination mechanics.
A library for parsing and rendering Markdown and multiple Wiki syntaxes (MediaWiki, Creole, PhpBB, etc.) with customizable filters.
A sound synthesizer library implemented in Ada that generates music from WAV samples, supporting real-time and offline playback with high polyphony.
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.
Experimental Ada code generation support for Google Protocol Buffers, enabling Ada applications to use Google's data interchange format.
A kid-friendly retro 3D point-and-click adventure game, reimagining the classic Atari Adventure with mazes, beasts, and ancient Persian themes.
A pure Ada library for generating 1D and 2D bar codes (including QR codes) in PDF, SVG, and PNG formats.
A Unicode string library for Ada that adapts internal representation to content, supporting multiple encodings without programmer choice.
A high-performance random text generator focused on corporate language, producing AI-inspired business jargon.
BSD sockets implementation for the Ada programming language, providing portable network communication capabilities.
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.