GNAT Pro
Assurance
Enterprise
Developer
Community
Compare the different versions of our family of GNAT development environments and learn how you can get started using Ada today.
Designed for certification and long-lived projects.
Our flagship GNAT Pro product for industrial grade development.
For teams, interested in moving to Ada.
For the free software developer, hobbyists, and students.
License
For commercial software
For commercial software
For commercial software
For open source GPL software
Services
On-line support
Confidential
Confidential
Public
Expert Support
Premium (2 day response)
Premium (2 day response)
Standard (5 day response)
Version Support
Multiple versions
Multiple versions
Latest version only
Continuous patched releases
Confidential support interface
Yearly official releases
Sustained branches
Certification services
Available as add-on
Languages
Ada 2012
SPARK
Ada 2005
Ada 95
Ada 83
C++
Available as add-on
Available as add-on
Available on native platforms
C
Available as add-on
Available as add-on
Platforms
Native Configurations
Linux (x86)
macOS (x86)
Solaris (x86, SPARC)
Windows (x86)
Cross Configurations
Android (ARM)
Bare Metal (ARM, RISC-V)
Bare Metal (PowerPC, LEON)
Embedded Linux (ARM)
Embedded Linux (PowerPC)
iOS (ARM)
Lynx 178 (x86, PowerPC)
PikeOS (ARM)
QNX (ARM)
VxWorks 5 (PowerPC)
VxWorks 6 (x86, PowerPC, ARM)
VxWorks 7 (x86, PowerPC, ARM)
VxWorks 653 (PowerPC)
Tools
GNATelim
GNATmetric
GNATpp
GNATdoc
GNATprep
GNATmem
Available as add-on
Available as add-on
Available as add-on
Available as add-on
Available as add-on
Available as add-on