Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract, strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC) as ISO/IEC 8652:2012.

A curated list of awesome resources related to the Ada and SPARK programming language

• UpdatedOct 26, 2025

Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)

• UpdatedJun 22, 2021
• C++

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

• UpdatedNov 21, 2023
• C

Simple Turn-based Game

• UpdatedMay 26, 2024
• Ada

Context-based code search tool

• UpdatedJun 22, 2025
• Ada

Command-line tool from the Alire project and supporting library

• UpdatedOct 5, 2025
• Ada

Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)

• UpdatedNov 5, 2025
• JavaScript

POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.

• UpdatedSep 1, 2025
• C

The ledger implementation and specifications of the Cardano blockchain.

• UpdatedNov 6, 2025
• Haskell

Id Software's Id-tech-4-BFG in the Ada programming language.

• UpdatedMar 29, 2023
• Ada

Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.

• UpdatedNov 5, 2025
• TypeScript

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

• UpdatedAug 16, 2022
• Ada

Mirror of codeberg's repository

• UpdatedNov 5, 2025
• Shell

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

• UpdatedOct 21, 2025
• Ada

Ada 2022 bindings to SDL 2

• UpdatedJul 24, 2025
• Ada

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• UpdatedOct 27, 2025
• Ada

An Open Source Community site for Ada

• UpdatedAug 21, 2025
• TypeScript

Ada Web Application - Framework to build high performance secure web applications

• UpdatedNov 2, 2025
• Ada

Thick Ada binding for OpenGL and GLFW

• UpdatedSep 8, 2022
• Ada

PowerJoular allows monitoring power consumption of multiple platforms and processes.

• UpdatedOct 20, 2025
• Ada