Ada
Showing 36 of 105 projects
A curated list of awesome resources for the Ada and SPARK programming languages, including compilers, libraries, tools, and applications.
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 language server implementing the Microsoft Language Server Protocol for Ada, SPARK, and GPR project files.
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 toolset for formal specification and generation of verifiable binary parsers, message generators, and protocol state machines.
A command-line tool for real-time monitoring of power consumption for CPUs, GPUs, processes, and virtual machines on GNU/Linux.
A framework for building high-performance, secure web applications in Ada 2012 with ready-to-use modules.
Ada bindings for the GTK+ graphical library, enabling native GUI application development in Ada.
A thick Ada 2005 binding for OpenGL and GLFW that enriches the API with Ada's object orientation, type safety, and generics.
A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.
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.
A secure microkernel for building high-performance, security-hardened embedded systems and IoT devices on microcontrollers.
An advanced build system for automating the construction of multi-language software systems.
A GNAT-LLVM compiler toolchain for WebAssembly with Ada runtime library and Web API bindings.
GNAT Ada Run Time Systems based on FreeRTOS for Cortex-M microcontrollers, supporting boards like Arduino Due and BBC micro:bit.
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.
An Ada 2012 library for parsing JSON with support for Ada 2012 iterator and indexing syntax.
A coverage analysis tool for Ada and C programs, supporting object code and source-level coverage metrics including MC/DC.
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 free terminal emulator for Data General DASHER D200/D210 character-based terminals, supporting serial and telnet connections.
An open-source pocket synthesizer with a custom hardware design and firmware.
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.
Ada and SPARK firmware for the Crazyflie 2.0 nano quadcopter, targeting the STM32F4 ARM chip.
Thick database bindings to MySQL, PostgreSQL, and SQLite for the Ada programming language.
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.