AdaCore

What we do

AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, we have supported and provided open-source toolchains for Ada/SPARK, C/C++, and Rust to high-integrity industries like aerospace, defense, rail, automotive, energy, telecom, finance, and medical. We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals.