vim-ada
Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE (by thindil)
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK (by AdaCore)
Our great sponsors
vim-ada | ada_language_server | |
---|---|---|
7 | 18 | |
26 | 219 | |
- | 1.4% | |
0.0 | 9.6 | |
over 1 year ago | 3 days ago | |
Vim Script | Ada | |
- | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
vim-ada
Posts with mentions or reviews of vim-ada.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-17.
-
The Ada ecosystem?
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.
- Ada on any ARM Cortex-M device, in just a couple minutes
-
How do you quickly find Ada documentation?
Vim-Ada has links to a built user-contributed docset to use.
-
Stdlib reference?
There's also instructions about how to install a Zeal docset for Ada in the vim-ada instructions.
-
Vim-Ada version 12.0 released
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
-
Favorite IDE?
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.
-
Looking for a "peaceful" font for Ada programming
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.
ada_language_server
Posts with mentions or reviews of ada_language_server.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-10.
-
New release of vscode extension For Ada 23.0.20
Basic .gpr language support: document symbols and diagnostics
-
VSCode extension for AArch64 Linux
I've built Ada VSCode extension for AArch64 Linux. It could be used with VSCode in the remote mode. So you can launch VSCode on the PC and connect over SSH to your AArch64 Linux board/host where you have an Ada project, GNAT and have very pleasant development environment. Here it is:
-
New release of vscode extension For Ada 23.0.15
You can install newer version from the marketplace, OpenVSX or download it from GitHub release.
-
New release of vscode extension For Ada 23.0.14
Don't hesitate to report any issues on GitHub.
- FOSDEM 2023 – Get Started with Open Source Formal Verification
- C++ is the next C++
-
yet another Ada web site?
If I'm being honest, Ada has most of that too. There is no Ada-equivalent to rustup.rs (but that may be coming soon), but alire's documentation is pretty straightforward. Want to start a new project? alr init --bin foo && cd foo && alr build Rust has rust-analyzer, but Ada also has the Ada Language Server. You can open issues on github for gnat, and we are all familiar with alire.ada.dev and learn.adacore.com.
-
New release of VS Code extension for Ada 23.0.8
This time,besides bug fixes and improvements, we have the GitHub Release with Ada Language Server binaries.
-
New release of vscode extension For Ada 23.0.7
Refactoring documentation
-
Is it worth it to learn Ada in 2022? And how do I learn it?
Grab Visual Studio Code and the Ada language server plugin
What are some alternatives?
When comparing vim-ada and ada_language_server you can also consider the following projects:
zeal - Offline documentation browser inspired by Dash
gnatstudio - GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
libadalang - Ada semantic analysis library.
jc.nvim - Java autocompletion for neovim
programming-with-ada - A guide for learning about the Ada Programming Language.
panelmanager.vim - Panel Manager for Vim
rust - Empowering everyone to build reliable and efficient software.
septum - Context-based code search tool
awesome-ada - A curated list of awesome resources related to the Ada and SPARK programming language
book - The Rust Programming Language
vim-ada vs zeal
ada_language_server vs zeal
vim-ada vs gnatstudio
ada_language_server vs libadalang
vim-ada vs jc.nvim
ada_language_server vs programming-with-ada
vim-ada vs panelmanager.vim
ada_language_server vs rust
vim-ada vs libadalang
ada_language_server vs septum
vim-ada vs awesome-ada
ada_language_server vs book