Welcome to the Ada programming language wiki

Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language, with Algol-like syntax (similar to Pascal). Main Ada features are:

  • Build-in support for design-by-contract
  • Extremely strong typing
  • Explicit concurrency
  • Tasks
  • Synchronous message passing
  • Protected objects
  • Non-determinism

Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international standard: the current version (Ada 2012) is defined by ISO/IEC 8652:2012

If you search basic information about Ada programming language you can look at:

For advanced information about Ada programming language please look at:

If you search for any general information, libraries or programs written in Ada, please look at:

Ask your question in places where you can meet other Ada programmers:


Please remember, that it may take some time before you will get answer at any of this places. It is recommended, that if you ask questions (especially on IRC) to wait there by some time (maybe even few hours) before you leave.

Other information, not related directly to Ada programming language.

Enter your comment. Wiki syntax is allowed:
  • start.txt
  • Last modified: 2019/08/23 09:16
  • by thindil