adacore.com

archived 2025 by Internet Archive (archive.org)

Commercial software solutions for Ada, C and C++ | AdaCore

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.