PluginStatsAda & SPARK installs statistics
By AdaCore · VS Code Marketplace · Programming Languages
Ada & SPARK IntelliSense, code browsing, debugging and more.
Ada & SPARK has 95,742 recorded installs on VS Code Marketplace.
It ranks #2430 of 2,501 tracked VS Code Marketplace listings by installs.
It is rated 5.0 out of 5 from 11 ratings.
PluginStats has 4 daily observations since Oct 16, 2026; the latest is from Oct 19, 2026.
Rating: 5.00 / 5 from 11 ratings
About Ada & SPARK
Ada & SPARK for Visual Studio Code
Repository | Issues | Documentation | Code Samples | Tutorial
This extension provides support for the Ada and SPARK programming languages in VS Code via the Ada Language Server based on the Libadalang library.
Features
Ada and SPARK are compiled languages which means that a compiler (GNAT) is needed to translate the source code into a program that can be executed. Other tools are also needed to perform tasks such as testing, static analysis and formal proof of SPARK code.
This extension does not include a compiler nor additional tools. Nonetheless it offers a number of features out of the box and more capabilities can be accessed by installing additional tools.
| Tool | Feature | Support |
| Ada & SPARK Extension | | | | | Syntax Highlighting | ✅ | | | Navigation (except standard runtime) | ✅ | | | Auto-completion (except standard runtime) | ✅ | | | Refactoring | ✅ | | GNAT Compiler | | | | | Full Navigation | ✅ | | | Full Auto-completion | ✅ | | | Build | ✅ | | | Debug | ✅ | | Cross and Embedded Support | | | | | Build | ✅ | | | GNATemulator Support | ✅ | | | Remote Debugging | ✅ | | GNAT DAS | | | | | Test | ✅ | | | Code Coverage | ✅ | | GNAT SAS | | | | | Static Analysis | ✅ | | SPARK | | | | | Formal Proof | ✅ |
Getting Additional Tools
For a fully operational development environment you can obtain a compiler and/or other tools from the following channels.
AdaCore Customers
If you are an AdaCore customer, log into your account on GNAT Tracker to download the tools available in your subscription.
Community Users
The Ada & SPARK tools are available to the community through different channels:
• ALIRE: The Ada LIbrary Repository provides the means to install compiler toolchains. The gnatprove crate provides GNATprove. Both tools are available for Linux, Windows and macOS (Intel and Apple silicon) • On Windows with msys2 you can install the gcc and gprbuild packages.
Documentation
• Ada Language Server README.md: VS Code Extension • Tutorial: Using Ada in VS Code • Supported refactoring tools • Custom colors for Ada sources • Usage in a Remote container example • Code Samples with Build and Debug tasks
Known Issues and Feedback
You can browse known issues and report bugs at the Ada Language Server GitHub project.
Description from the VS Code Marketplace listing.
- Ada
- Ada Library Information
- adb
- adc
- ads
- ali
- color-theme
- debuggers
- GNAT Project
- gpr
- json
- jsonc
- keybindings
- snippet
- theme
- toml
Charts
Images: 30d · 1y · all time · 1600×900 dark
Adoption over time
7/30/90-day growth
Ranking history
Ratings over time
Listing placement
Listing placement
Filled points are observed values; hollow points come from Internet Archive snapshots of the listing page. Dashed segments span periods with no observations — values between points are not interpolated.
Each band is one page of 20. Installs on a log scale. Placement is projected from installs, so it can differ from the marketplace's own sort order. Hover a dot to see the listing.
Recent observations
Full history (4)Similar VS Code Marketplace Programming Languages plugins
All 20 Ada & SPARK alternativesData source
Install counts, average rating, and rating counts come from the public Visual Studio Marketplace gallery API. Installs are cumulative and exclude updates.
Listing: https://marketplace.visualstudio.com/items?itemName=AdaCore.ada. First seen Oct 16, 2026; last successful collection Oct 19, 2026. See the methodology.