Skip to content
#

Ada

ada logo

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...

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