Software Assurance & Certification Tools for Defense UAVs & Autonomous Systems
GNAT Pro Software development environments & toolchains for Ada, Rust & C/C++
GNAT Pro

Software development environments & toolchains for Ada, Rust & C/C++

Visit Website Contact
Saved
Save
GNAT Pro

GNAT Pro from AdaCore is a family of development environments and toolchains for Ada, C/C++, and Rust. It includes native and cross compilers, IDE integration, GPRbuild, multi-language debugging, configurable run-time libraries, long-term maintenance, known-problem reporting, SBOMs, and support for more than 100 standard and custom platforms.

GNAT Pro for Ada

GNAT Pro for Ada supports Ada 83 through Ada 2022 using GCC- and LLVM-based compilers. It includes GNAT Studio, GDB, GPRbuild, configurable run-times, stack analysis, formatting, documentation, and binding-generation tools, with certified toolchains and run-times available for applicable safety standards.

GNAT Pro for C/C++

GNAT Pro for C/C++ supports C89 through C18 and C++98 through C++20. It provides GCC and LLVM compilers, native and cross-development options, GDB debugging, GPRbuild, GNATstack, embedded run-times, IDE integration, and qualification material for supported certification programs.

GNAT Pro for Rust

GNAT Pro for Rust provides maintained Rust toolchains for native, real-time, and bare-metal platforms. It includes rustc, Cargo, rust-analyzer, rustfmt, GDB, GPRbuild, GNATpolyglot, and core Rust libraries, alongside long-term maintenance and backported critical fixes where required.

Advancing Unmanned Systems Through Strategic Collaboration UST works with major OEMs to foster collaboration and increase engagement with SMEs, to accelerate innovation and drive unmanned systems capabilities forward.