als-alire-index
ada_language_server
als-alire-index | ada_language_server | |
---|---|---|
4 | 18 | |
2 | 219 | |
- | 1.4% | |
5.7 | 9.6 | |
6 days ago | 7 days ago | |
Shell | Ada | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
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.
als-alire-index
- VSCode extension for AArch64 Linux
-
Please explain how to control dependencies for commercial Ada software development in Alire.
Take a look at my als-alire-index as example.
-
December 2021 What Are You Working On?
🗂 created a dedicated Alire index to build Ada Language Server 23.0.1
-
Alire port to aarch64 (Raspberry Pi)
I hope, many crates from the community index should work. For example, I've built Ada Language Server with these crates.
ada_language_server
-
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?
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
vim-ada - Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
ob-ada-spark
zeal - Offline documentation browser inspired by Dash
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
libadalang - Ada semantic analysis library.
aarch64-alire-index - Alire port to aarch64
programming-with-ada - A guide for learning about the Ada Programming Language.
alire - Command-line tool from the Alire project and supporting library
rust - Empowering everyone to build reliable and efficient software.
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
septum - Context-based code search tool