Category:Software written in Ada

Software that is written in the programming language Ada and either has the source publicly available (open source in other words) or the fact that it is written the language is notable for some reason.