👉 See also the detailed free & commercial Ada compiler page

Libraries are prefixed by a logo relative to the given OpenSource License.
ALR: Component available through the ALIRE crates (component) manager and repository.

ℹ️ Click on the arrow ➚ to go to the section beneath with some more details.
ℹ️ Click on the earth symbol 🌎 to go to the mentioned site.
ℹ️ Hover on, or Click on the little page symbol 📄 to read a short description.

Build

Compiler

FSF gcc-GNAT

gcc
- GNAT FSF (GNU)
  Link: sourceforge.net/projects/gnuada/
  Copyright: FSF
  Repository: SourceForge
Ada 2012 BSD compiler
- OpenBSD
  Copyright: Florida State University (FSU)
- Solaris
  Copyright: Jeffrey Creem
Ada 2012 Linux compiler
- RPM
  Copyright: FSF
Ada 2012 MacOS-intel compiler
- Tools
  Copyright: Simon Wright
Ada 2012 MacOS-M1 compiler
- Tools
  Copyright: Simon Wright

AdaCore GNAT

Ada 2012 compiler
- Gnat_arm_elf
  Link: alire.ada.dev/crates/gnat_arm_elf
  LastCheck: 26 janv. 2022 à 16:22
  Author: Fabien-Chouteau
  
  The GNAT Ada compiler - ARM cross-compiler — 0
- Gnat_native
  Link: alire.ada.dev/crates/gnat_native
  LastCheck: 26 janv. 2022 à 16:22
  Author: Fabien-Chouteau
  
  The GNAT Ada compiler - Native — 0
- Gnat_riscv64_elf
  Link: alire.ada.dev/crates/gnat_riscv64_elf
  LastCheck: 26 janv. 2022 à 16:22
  Author: Fabien-Chouteau
  
  The GNAT Ada compiler - RISC-V cross-compiler — 0

AdaCore LLVM

…
- GNAT-LLVM
  Link: github.com/AdaCore/gnat-llvm
  LastCheck: 5 févr. 2022
  Author: adacore,richardkenner,arnaudcharlet,pmderodat

Ada for VMS

…
- OpenVMS

Ada for JVM

…
- AJIS GPL 2015
  Copyright: AdaCore
  Repository: Libre.Adacore.com

Ada for CLI/.Net/Mono

…
- ASharp
  Link: sourceforge.net/projects/asharp
  Copyright: Martin C. Carlisle
  Repository: SourceForge

SPARK

…
- SPARK 2014
  Link: github.com/AdaCore/spark2014
  Copyright: US. gov NSA
  Repository: Open-Do

Build Sources

…

…
- GNAT Make

Build Project

…

…
- Gprbuild
  Link: alire.ada.dev/crates/gprbuild
  LastCheck: 26 janv. 2022 à 16:22
  Author: Fabien-Chouteau
  
  The GPRBuild Ada/multilanguage build tool — 0
- Libgpr
  Link: alire.ada.dev/crates/libgpr
  LastCheck: 26 janv. 2022 à 16:22
  Author: Fabien-Chouteau
  
  GNAT Project File Library — 0

Build Component

Crate

…
- ALIRE
  Link: github.com/alire-project/alire
  LastCheck: 5 févr. 2022
  Author: adacore,mosteo,Fabien-Chouteau,pmderodat