There are 1 repository under ada2012 topic.
Ada 2022 bindings to SDL 2
SPARK Proof Analysis Tool
A cryptographic framework, proven for correctness in SPARK
Utility library to pretty print physical values in proper metric units
FLAC audio encoder/decoder in SPARK/Ada
Ada interface to openweathermap API
Some programming exercises written in Ada.
A small Ada library that performs various checks on strings.
Das erste Spiel das ich angefangen habe zu entwickeln. The first game I started developing in Ada.
Die Terminalreste meines 4X-Rundenstrategiespiels. The terminal leftovers of my 4X turn-based strategy game.