ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK (by AdaCore)
rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC (by JeremyGrosser)
| ada_language_server | rp2040_hal | |
|---|---|---|
| 18 | 9 | |
| 219 | 34 | |
| 1.4% | - | |
| 9.6 | 7.4 | |
| 1 day ago | 2 months ago | |
| Ada | Ada | |
| GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
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.
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
rp2040_hal
Posts with mentions or reviews of rp2040_hal.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-22.
-
Ada targeting RPI
You can go bare metal for the raspberry pico. Maybe it's also interesting to you: https://pico-doc.synack.me/
-
New release of vscode extension For Ada 23.0.15
In this release we improved Alire integration. Now you don't need the compiler to be in the PATH (only alr) when you are working with a crate, because Alire will configure it for you. Suppose you setup a crate for Rasperry Pico, if you open it in VS Code, then navigation should work out of the box. Also any Alire configuration is skipped altogether if the VSCode was launched with alr edit or alr exec.
-
Any recommendations for a newbie to get into embedded Ada?
If you want a more modern processor, pick the RPI Nano. You find extensive doc here: https://pico-doc.synack.me/
-
Using something else than C - neverending problems (AVR/ARM)
Ada on Raspberry Pi Pico website ( https://pico-doc.synack.me/)
-
Introduction to Embedded Systems Programming (Ada)
AdaCore's docs are fantastic for understanding why things are done the way they are. However, when I'm learning a new platform or language I prefer to see a lot of practical examples first. That's what I tried to do with my "Ada on the Raspberry Pi Pico" project:
https://pico-doc.synack.me/
- when to choose stm32 MCUs over a raspberry pi Pico ?
- Ada on the Raspberry Pi RP2040 (video presentation)
- An Embedded USB Device Stack in Ada
What are some alternatives?
When comparing ada_language_server and rp2040_hal you can also consider the following projects:
vim-ada - Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
svd2nim - Convert CMSIS ARM SVD files to nim register memory mappings
zeal - Offline documentation browser inspired by Dash
pico_examples - Ada examples for the Raspberry Pi Pico
libadalang - Ada semantic analysis library.
usb_embedded - An Ada USB stack for embedded devices
programming-with-ada - A guide for learning about the Ada Programming Language.
AdaDoom3 - Id Software's Id-tech-4-BFG in the Ada programming language.
rust - Empowering everyone to build reliable and efficient software.
nephyr - Nim wrapper for Zephyr
septum - Context-based code search tool
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
ada_language_server vs vim-ada
rp2040_hal vs svd2nim
ada_language_server vs zeal
rp2040_hal vs pico_examples
ada_language_server vs libadalang
rp2040_hal vs usb_embedded
ada_language_server vs programming-with-ada
rp2040_hal vs AdaDoom3
ada_language_server vs rust
rp2040_hal vs nephyr
ada_language_server vs septum
rp2040_hal vs BBS-BBB-Ada