Ada
Showing 36 of 183 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 small, quick Ada compiler fully written in Ada, providing an open-source tool for Ada language development.
A library for parsing and semantic analysis of Ada code, designed as a building block for IDE integration and static analysis tools.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
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 multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.
A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.
A comprehensive Ada utility library providing logging, serialization, encoding, stream composition, and concurrency tools for building robust applications.
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.
A secure microkernel for building high-performance, security-hardened embedded systems and IoT devices on microcontrollers.
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
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.
experimental YAML implementation in Ada
An Ada 2012 library for parsing JSON with support for Ada 2012 iterator and indexing syntax.
An Ada binding for Lua, enabling Ada programs to execute Lua scripts and interact with the Lua runtime.
A coverage analysis tool for Ada and C programs, supporting object code and source-level coverage metrics including MC/DC.
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.
Ada and SPARK firmware for the Crazyflie 2.0 nano quadcopter, targeting the STM32F4 ARM chip.
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.