vim-ada VS libadalang

In terms of bootstrapping your environment and getting started, I'd recommend looking at Vim-Ada and Awesome Ada. I also tried to write up some practical advice from my experience, which might be helpful.

Vim-Ada has links to a built user-contributed docset to use.

There's also instructions about how to install a Zeal docset for Ada in the vim-ada instructions.

This version brings a couple (literally) new plugins (EasyMotion, QuickUI), one removed (Vim-Header) and one theme replaced (Gruvbox with Gruvbox8). For more detailed information about the changes, please look at the release page: https://github.com/thindil/vim-ada/releases/tag/v12.0

Due to often work with multi-language projects I use NeoVim with many plugins. I even created the project to easily configure Vim/NeoVim on GitHub. Generally, I looked at GPS and VS Code and put into Vim all these parts which I liked: like support for Ada Language Server, Zeal etc.

You could look at Programming Fonts page, probably the best place to try to find any good font for you. Personally, I use FiraCode mostly due to ligatures. You can look here to see how the Ada code looks with FiraCode.

3) most any project on https://www.adacore.com/

There are also tools like gnatcheck and CodePeer, but I don't know if there if there are free versions available. Some of the tools that used to require ASIS have switched to libadalang because ASIS works only with code that compiles.

for more information about the language visit:

My wild guess: AdaCore is doing again something with the page. From time to time, weird things happens to www.adacore.com, like it showing old version of page, etc. I can only suggest waiting a moment (like a long moment :) ). Probably until Tuesday everything should back to normal. If not, then at least will be some statement from AdaCore.

AdaCore took it upon itself to proselytize the language, and even make and open source a bunch of tools for the community. Just between libadalang and Ada Language Server, they've already probably undermined a lot of their business model by providing the tools for modern IDE integration for free, seemingly for the sake of trying to make the language more relevant again. They've given people like myself, the opportunity to exist outside of their paid and closed ecosystem using tools like Visual Studio Code, and even done things like fix multiple bugs and implement several features I've requested.

I dont know for sure, but it might be the language that Garmin uses given that one of the images on Adacore.com looks like a G1000 cockpit.