Ada
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 26 public repositories matching this topic...
[Read-only mirror] POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
-
Updated
Apr 13, 2026 - C
Minimalist cooperative operating system supporting multiple tasks with MMU protection
-
Updated
Mar 19, 2026 - C
revised version of c2ada (http://c2ada.sf.net/)
-
Updated
Sep 18, 2022 - C
Basic Data Structures implementations in different languages.
-
Updated
Mar 22, 2026 - C
ada compiler + virtual machine for interpreting the pseudo code
-
Updated
Mar 4, 2021 - C
Code written for the Operating Systems class at PUCP
-
Updated
Mar 11, 2020 - C
Contains the set of lab programs for Contains the set of lab programs for Analysis and Design of Algorithms, including various algorithm implementations and experiments for learning.
-
Updated
Jun 10, 2025 - C
Repository for exploration and documentation of learning programming languages.
-
Updated
May 18, 2023 - C
A hybrid post-quantum file encryptor written in Ada. Uses NIST ML-KEM-768 (FIPS 203) for quantum-safe key encapsulation + HKDF-SHA256 + AES-256-GCM for strong authenticated encryption. Educational Proof of Concept.
-
Updated
Mar 31, 2026 - C
- Followers
- 82 followers
- Website
- github.com/topics/ada
- Wikipedia
- Wikipedia