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

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)

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

Context-based code search tool

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

Simple Turn-based Game

Command-line tool from the Alire project and supporting library

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

The ledger implementation and specifications of the Cardano blockchain.

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

Ada 2022 bindings to SDL 2

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

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

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

Mirror of a roguelike in sky with a steampunk setting

Thick Ada binding for OpenGL and GLFW

Ada Bare Bones OS development tutorial source code

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

An Open Source Community site for Ada

A secure and high performances microkernel for building secure MCU-based IoTs