awesome-ada
ada_language_server
awesome-ada | ada_language_server | |
---|---|---|
20 | 18 | |
577 | 219 | |
- | 1.4% | |
7.6 | 9.6 | |
24 days ago | 7 days ago | |
Ada | ||
Creative Commons Zero v1.0 Universal | 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.
awesome-ada
-
yet another Ada web site?
At the moment we have * Reddit, a news aggregator, Awesome Ada link list, and they work good too. (Thank involved people for this!) * Organization/company based sites, and they work good (e.g. adaic.org, ada-auth.org, sigada.org, adacore.com) * Chats, comp.lang.ada "news group" * Wiki books * Ada Programming (Is it updated?) * Ada Style Guide (It looks like to be never updated since uploading) * person-driven sites are often biassed, become outdated and abandoned * For example, adapower.com, getadanow.com, learnadanow.com are not updated (e.g. no Alire mention), have expired SSL certificate and dead links. (Sorry David, it's just for example!). * long(?) list of dead or frozen sites * adahome.com - alive, not updated * adaworld.com - has changed owner * planet.ada.wtf not resolved * ancient Public Ada Library (PAL) gone * per country community is mostly alive * adaspain.org is't responding
-
I remade the ada logo what do you think ?
I too are partial to the Ada (the person) logos. The modern takes in the awesome-ada site are my favorite. In particular the previous one was very cool: https://github.com/ohenley/awesome-ada/tree/f0e3df247119dd3730c4bda6cac0e0c3fd93087c
-
Ada Library and Tutorial Requests
All libraries listed in awesome-ada added to Alire.
-
Request for comments: an idea for a central repository of knowledge and resources for Ada
awesome-ada
-
Lessons Learnt Moving a GTK Application from Go to Ada
In order to find good examples for Ada, I think we should add all our projects to the curated list of awesome Ada resources. OK, it won't be curated if we add everything, but in fact it's far from being crowded. It can be curated later if it overgrows. In my opinion, both these projects (Dashera and Yotroc) ought to be included, and they aren't.
-
Hi I am a beginner and i am interested in Ada
Depends on the libs, see [Awesome Ada][https://github.com/ohenley/awesome-ada]
-
Open discussion: Ada needs import (?)
If it's not in Alire, second step is looking in the curated list of Ada projects (and then follow README or BUILDING instructions): https://github.com/ohenley/awesome-ada
-
Alire has reached 200 Crates!
There are still many interesting projects in https://github.com/ohenley/awesome-ada and other sources, which are not indexed by Alire, so there is room for improvement.
-
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.
-
Is Ada used only for embedded systems?
On Awesome Ada list, you can find examples of Ada usage outside embedded development.
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?
alire-index - Community index for the Alire project
vim-ada - Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
ghdl - VHDL 2008/93/87 simulator
zeal - Offline documentation browser inspired by Dash
browser-compat-data - This repository contains compatibility data for Web technologies as displayed on MDN
libadalang - Ada semantic analysis library.
gnatstudio - GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
programming-with-ada - A guide for learning about the Ada Programming Language.
OpenGLAda - Thick Ada binding for OpenGL and GLFW
rust - Empowering everyone to build reliable and efficient software.
ASFML - Ada binding to the SFML library
septum - Context-based code search tool