ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK (by AdaCore)
sdlada
Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one. (by Lucretia)
| ada_language_server | sdlada | |
|---|---|---|
| 18 | 7 | |
| 219 | 1 | |
| 1.4% | - | |
| 9.6 | 9.0 | |
| 1 day ago | 4 days ago | |
| Ada | Ada | |
| GNU General Public License v3.0 only | zlib 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
sdlada
Posts with mentions or reviews of sdlada.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-04-23.
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
SDLAda has been around for a while: https://github.com/Lucretia/sdlada
You can add it as a dependency to your Alire project: `alr with sdlada`
-
ADA for reliable 2D game
https://github.com/Lucretia/sdlada - You can create a texture and get access to the pixels at least. https://github.com/Fabien-Chouteau/tiled-code-gen - not looked at this.
-
Is it worth it to learn Ada in 2022? And how do I learn it?
COUGH, it's not just for military and aerospace or embedded.
-
Ada for Industrial Automation
You can see an example of how I did hand written bindings to sdl2.
- Ada Library vs Project
-
AdaCore and Ferrous Systems Joining Forces to Support Rust
You can use any version of gnat to build [this](https://github.com/Lucretia/sdlada)
- Ada For Game Development
What are some alternatives?
When comparing ada_language_server and sdlada you can also consider the following projects:
vim-ada - Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
OpenGLAda - Thick Ada binding for OpenGL and GLFW
zeal - Offline documentation browser inspired by Dash
ASFML - Ada binding to the SFML library
libadalang - Ada semantic analysis library.
rubble - (going to be a) BLE stack for embedded Rust
programming-with-ada - A guide for learning about the Ada Programming Language.
rust - Empowering everyone to build reliable and efficient software.
misra-rust - An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
septum - Context-based code search tool
lea - LEA is a Lightweight Editor for Ada
ada_language_server vs vim-ada
sdlada vs OpenGLAda
ada_language_server vs zeal
sdlada vs ASFML
ada_language_server vs libadalang
sdlada vs rubble
ada_language_server vs programming-with-ada
sdlada vs programming-with-ada
ada_language_server vs rust
sdlada vs misra-rust
ada_language_server vs septum
sdlada vs lea