Ada
Showing 36 of 184 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 GNAT-LLVM compiler toolchain for WebAssembly with Ada runtime library and Web API bindings.
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 secure microkernel for building high-performance, security-hardened embedded systems and IoT devices on microcontrollers.
GNAT Ada Run Time Systems based on FreeRTOS for Cortex-M microcontrollers, supporting boards like Arduino Due and BBC micro:bit.
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.
A component-based, model-driven framework for building reliable embedded real-time software in Ada, originally for spacecraft flight software.
experimental YAML implementation in Ada
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.
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.