libadalang
ada_language_server
Our great sponsors
libadalang | ada_language_server | |
---|---|---|
14 | 18 | |
143 | 219 | |
2.1% | 1.4% | |
9.6 | 9.6 | |
5 days ago | 5 days ago | |
Ada | Ada | |
GNU General Public License v3.0 or later | 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.
libadalang
- Ada Outperforms Assembly: A Case Study
-
Physically reprogramming computers is something from the 70s to early 90s
3) most any project on https://www.adacore.com/
- Ada development tools: clarifying the pros and cons of the different options
-
Is there a static analysis and linting tool for Ada that I can run through the terminal and see the results without compiling the sources?
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.
- C/C++ is at his own level
-
Hello World with Ada
for more information about the language visit:
- Ada on any ARM Cortex-M device, in just a couple minutes
-
GNAT 2021 Community Edition download link disappeared
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.
-
New version of AdaControl released
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.
-
What programming language Does garmin Avionics use in its Software
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.
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?
nakama - Distributed server for social and realtime games and apps.
vim-ada - Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
word2vec - Go library for performing computations in word2vec binary models
zeal - Offline documentation browser inspired by Dash
cost-model - Cross-cloud cost allocation models for Kubernetes workloads [Moved to: https://github.com/kubecost/opencost]
programming-with-ada - A guide for learning about the Ada Programming Language.
Tailwind CSS - A utility-first CSS framework for rapid UI development.
rust - Empowering everyone to build reliable and efficient software.
starboard - Moved to https://github.com/aquasecurity/trivy-operator
septum - Context-based code search tool
mathesar - Web application providing an intuitive user experience to databases.
book - The Rust Programming Language