ada_language_server
programming-with-ada
ada_language_server | programming-with-ada | |
---|---|---|
18 | 8 | |
219 | 18 | |
1.4% | - | |
9.6 | 6.7 | |
1 day ago | over 1 year ago | |
Ada | Python | |
GNU General Public License v3.0 only | MIT License |
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
-
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
programming-with-ada
- yet another Ada web site?
-
Is it worth it to learn Ada in 2022? And how do I learn it?
I wrote up a bunch of stuff about it
-
May 2022 What Are You Working On?
I am writing an article for Programming with Ada showing how to send an IMCP using just the Ada standard library and writing your own bindings to C. This is a port of program I wrote in C++.
-
Request for comments: an idea for a central repository of knowledge and resources for Ada
I have one already for my own Ada notes, but it doesn't autogenerate. Sphinx allows arbitrarily complex tables, while also providing the ability to generate the documentation and keep it locally, which would be important for people on isolated/proprietary/military networks. It would be interesting to have a site generated by a crate in Alire, so you could download and run it locally as needed.
-
How to get into the Ada world
There's also: - http://learn.adacore.com - https://pyjarrett.github.io/programming-with-ada/ - https://en.wikibooks.org/wiki/Ada_Programming - The video's not available yet, but this might be useful: https://fosdem.org/2022/schedule/event/ada_outsiders_guide/
-
What Did You Work On in 2021?
I also did a few things: - Wrote an online e-book about Ada - Septum - context-based source code search for multi-million line codebases (I use this nearly every day at work. It's being submitted as my Ada crate of the year. - dir_iterators - library similar to the incredible walkdir. - project_indicators - library for spinners and progress bars. - trendy_terminal - library for cross-platform terminal setup, VT100 support, and GNU readline-like behavior. - trendy_test - library for simple unit testing, which runs tests in parallel. - Ada Ray Tracer - an Ada port of Ray Tracing in One Weekend. - dirs_to_graphviz - Make graphviz files from directory trees. - rst_tables - a tool to draw RST table outlines.
-
Why Is C Faster Than Java (2009)
> say, Ada programmers.
I stand summoned.
> Unfortunately, none of them ever seem to show up.
We do from time to time, but people assume our language is dead (it isn't). I learned it last year and I've been very impressed by how simple it is, given the speed you get with it.
It was a "big language" at the time, but now it's a language smaller than Rust or C++ which offers good performance with straightforward syntax.
Ada has inline assembly, easy usage of compiler intrinsics, dead-simple binding to C, built-in multi-tasking (which includes CPU pinning), a good standard library, RAII, and real honest-to-goodness built-in, not-null-terminated strings. It's a compiled language, so you get good speed in general, but the built-in concurrency really does help work which can be split up. Ada 202x is getting even finer grained parallelism (parallel for-loops) in the language itself to even further help this.
- https://learn.adacore.com/
- https://github.com/pyjarrett/programming-with-ada
- https://en.wikibooks.org/wiki/Ada_Programming
What are some alternatives?
vim-ada - Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
zeal - Offline documentation browser inspired by Dash
python-cheatsheet - Comprehensive Python Cheatsheet
libadalang - Ada semantic analysis library.
Ada_GUI - An Ada-oriented GUI
rust - Empowering everyone to build reliable and efficient software.
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.
septum - Context-based code search tool
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
book - The Rust Programming Language
ada-ray-tracer