Ada

ghdlghdl/ghdl

An open-source analyzer, compiler, simulator, and experimental synthesizer for VHDL, supporting multiple language standards and backends.

eeperstsoding/eepers

A simple turn-based game built with Ada and SDL2 where players control eepers in tactical combat.

septumpyjarrett/septum

A grep-like tool that searches for matching contexts of contiguous lines, enabling incremental code exploration in large codebases.

alirealire-project/alire

A command-line tool and catalog for managing Ada libraries, similar to Rust's Cargo or OCaml's Opam.

whitakers-wordsmk270/whitakers-words

A Latin-English dictionary with inflectional morphology support, originally created by William Whitaker and maintained for digital preservation.

spark-2014AdaCore/spark2014

A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.

ada-doom-3AdaDoom3/AdaDoom3

A re-implementation of id Software's id-tech 4-BFG game engine in the Ada programming language.

libadalangAdaCore/libadalang

A library for parsing and semantic analysis of Ada code, designed as a building block for IDE integration and static analysis tools.

haczertovitch/hac

A small, quick Ada compiler fully written in Ada, providing an open-source tool for Ada language development.

spark-naclrod-chapman/SPARKNaCl

A formally verified, portable SPARK 2014 implementation of the NaCl cryptographic library with constant-time algorithms.

sdladaLucretia/sdlada

Ada 2022 bindings to SDL 2, providing a variable-thickness wrapper for multimedia and game development.

gshAdaCore/gsh

A POSIX shell implementation for Windows designed to accelerate builds of GNU and autotools projects.

powerjoularjoular/powerjoular

A command-line tool for real-time monitoring of power consumption for CPUs, GPUs, processes, and virtual machines on GNU/Linux.

gtkadaAdaCore/gtkada

Ada bindings for the GTK+ graphical library, enabling native GUI application development in Ada.

bare-bonesLucretia/bare_bones

A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.

cubitdocandrew/CuBit

A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.

ada-crypto-librarycforler/Ada-Crypto-Library

An Ada library providing comprehensive cryptographic primitives including symmetric/asymmetric encryption, hashing, and elliptic curve arithmetic.

ada-utilstcarrez/ada-util

A comprehensive Ada utility library providing logging, serialization, encoding, stream composition, and concurrency tools for building robust applications.

cortex-gnat-rtssimonjwright/cortex-gnat-rts

GNAT Ada Run Time Systems based on FreeRTOS for Cortex-M microcontrollers, supporting boards like Arduino Due and BBC micro:bit.

gprbuildAdaCore/gprbuild

An advanced build system for automating the construction of multi-language software systems.

svd2adaAdaCore/svd2ada

Generates Ada bindings from CMSIS-SVD descriptions for ARM Cortex-M devices to streamline bare-metal driver development.

acncFabien-Chouteau/ACNC

A G-code parser and CNC controller written in Ada for ARM Cortex-M microcontrollers.

gnatcoll-coreAdaCore/gnatcoll-core

Core packages of the GNAT Components Collection, providing foundational Ada libraries for cross-platform development.

SweetAdagabriele-galeotti/SweetAda

A lightweight Ada-language development framework for implementing software systems across diverse hardware platforms from embedded boards to mainframes.

adamantlasp/adamant

A component-based, model-driven framework for building reliable embedded real-time software in Ada, originally for spacecraft flight software.

ada-guijrcarter/Ada_GUI

A GUI framework for Ada that uses concurrent tasks and event queues instead of callback functions.

ada-luaAdaCore/ada-lua

An Ada binding for Lua, enabling Ada programs to execute Lua scripts and interact with the Lua runtime.

protobufreznikmm/protobuf

A Google Protocol Buffers implementation in Ada, providing code generation and runtime support for serializing structured data.

asfmlmgrojo/ASFML

Ada semi-thick binding to the SFML multimedia library, providing a native Ada API for graphics, audio, windowing, and networking.

libkeccakdamaki/libkeccak

A SPARK/Ada implementation of the Keccak family of cryptographic sponge functions, including SHA-3, with formal proof of type safety.

pragmarcjrcarter/PragmARC

A collection of reusable Ada components for software development, compatible with Ada 95 and Ada 2007 standards.

ada-synth-libraph-amiard/ada-synth-lib

A simple audio synthesis library for creating musical instruments that can run on bareboard devices like STM32F4 or Raspberry Pi.

ada-keystorestcarrez/ada-keystore

A command-line tool and library for storing sensitive data and documents in encrypted keystores using AES-256 and HMAC-256.

ada-traits-containersAdaCore/ada-traits-containers

A flexible Ada library offering generic containers and algorithms with SPARK compatibility and performance control.

zip-adazertovitch/zip-ada

A standalone, portable pure Ada library for creating, extracting, and manipulating .zip archives with LZMA and BZip2 support.

ada-runtimeComponolit/ada-runtime

A minimal, adaptable Ada runtime designed for embedded systems and diverse platforms.