Ada topic
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.
sdl2-examples
SDL2 examples, for 25+ different programming languages
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
yoroi-frontend
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
libagar
Cross-Platform GUI Toolkit (stable)
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
alire
Command-line tool from the Alire project and supporting library
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
bare_bones
Ada Bare Bones OS development tutorial source code