ada2012
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.
Here are 19 public repositories matching this topic...
Ada implementations of fizz buzz
-
Updated
Aug 30, 2019 - Ada
Das erste Spiel das ich angefangen habe zu entwickeln. The first game I started developing in Ada.
-
Updated
Oct 19, 2022 - Ada
Die Terminalreste meines 4X-Rundenstrategiespiels. The terminal leftovers of my 4X turn-based strategy game.
-
Updated
Oct 19, 2022 - Ada
FLAC audio encoder/decoder in SPARK/Ada
-
Updated
Jul 3, 2020 - Ada
Some programming exercises written in Ada.
-
Updated
Oct 23, 2022 - Ada
A cryptographic framework, proven for correctness in SPARK
-
Updated
Dec 16, 2024 - Ada
Ada bindings to the Java 11 Native Interface API.
-
Updated
Jun 11, 2019 - Ada
Utility library to pretty print physical values in proper metric units
-
Updated
Oct 19, 2020 - Ada
SPARK Proof Analysis Tool
-
Updated
Oct 19, 2020 - Ada
Ada 2022 bindings to SDL 2
-
Updated
Jan 10, 2025 - Ada
- Followers
- 78 followers
- Wikipedia
- Wikipedia