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.