A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Sep 4, 2024
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
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)
Context-based code search tool
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
Ada Bare Bones OS development tutorial source code
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides