Ada
LanguageOpen-source projects built with Ada
There are currently 103 open-source projects built with Ada, with a combined total of 8.4k GitHub stars. The most common language among these projects is Ada.
Showing 103 open-source projects · page 1 of 3
An open-source analyzer, compiler, simulator, and experimental synthesizer for VHDL, supporting multiple language standards and backends.
A simple turn-based game built with Ada and SDL2 where players control eepers in tactical combat.
A grep-like tool that searches for matching contexts of contiguous lines, enabling incremental code exploration in large codebases.
A command-line tool and catalog for managing Ada libraries, similar to Rust's Cargo or OCaml's Opam.
A Latin-English dictionary with inflectional morphology support, originally created by William Whitaker and maintained for digital preservation.
A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.
A re-implementation of id Software's id-tech 4-BFG game engine in the Ada programming language.
A library for parsing and semantic analysis of Ada code, designed as a building block for IDE integration and static analysis tools.
A small, quick Ada compiler fully written in Ada, providing an open-source tool for Ada language development.
A formally verified, portable SPARK 2014 implementation of the NaCl cryptographic library with constant-time algorithms.
Ada 2022 bindings to SDL 2, providing a variable-thickness wrapper for multimedia and game development.
A POSIX shell implementation for Windows designed to accelerate builds of GNU and autotools projects.
A command-line tool for real-time monitoring of power consumption for CPUs, GPUs, processes, and virtual machines on GNU/Linux.
Ada bindings for the GTK+ graphical library, enabling native GUI application development in Ada.
A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.
An Ada library providing comprehensive cryptographic primitives including symmetric/asymmetric encryption, hashing, and elliptic curve arithmetic.
A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.
A comprehensive Ada utility library providing logging, serialization, encoding, stream composition, and concurrency tools for building robust applications.
GNAT Ada Run Time Systems based on FreeRTOS for Cortex-M microcontrollers, supporting boards like Arduino Due and BBC micro:bit.
An advanced build system for automating the construction of multi-language software systems.
Generates Ada bindings from CMSIS-SVD descriptions for ARM Cortex-M devices to streamline bare-metal driver development.
A G-code parser and CNC controller written in Ada for ARM Cortex-M microcontrollers.
Core packages of the GNAT Components Collection, providing foundational Ada libraries for cross-platform development.
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.
An Ada binding for Lua, enabling Ada programs to execute Lua scripts and interact with the Lua runtime.
A Google Protocol Buffers implementation in Ada, providing code generation and runtime support for serializing structured data.
Ada semi-thick binding to the SFML multimedia library, providing a native Ada API for graphics, audio, windowing, and networking.
A SPARK/Ada implementation of the Keccak family of cryptographic sponge functions, including SHA-3, with formal proof of type safety.
A command-line tool and library for storing sensitive data and documents in encrypted keystores using AES-256 and HMAC-256.
A simple audio synthesis library for creating musical instruments that can run on bareboard devices like STM32F4 or Raspberry Pi.
A collection of reusable Ada components for software development, compatible with Ada 95 and Ada 2007 standards.
A standalone, portable pure Ada library for creating, extracting, and manipulating .zip archives with LZMA and BZip2 support.
Thick database bindings to MySQL, PostgreSQL, and SQLite for the Ada programming language.
A flexible Ada library offering generic containers and algorithms with SPARK compatibility and performance control.
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.