If you are playing with Ada, be sure to try out Alire, a 'Rust cargo'-style tool for Ada libraries:

https://alire.ada.dev/

One thing to be aware of is that GNAT is part of GCC:

https://gcc.gnu.org/wiki/GNAT

AdaCore is the primary developer of GNAT, SPARK, and related tools:

https://blog.adacore.com/a-new-era-for-ada-spark-open-source...

There are other Ada compilers as well:

https://forum.ada-lang.io/t/updated-list-of-ada-compilers/10...

Oh man that style guide is triggering hard :D

> Use three spaces as the basic unit of indentation for nesting.

https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Pr...

gnatformat is a handy tool for formatting working Ada code:

https://github.com/AdaCore/gnatformat

I had forgotten about the three spaces for indentation. Yuck.