Ada & SPARK
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Ada & SPARK IntelliSense, code browsing, debugging and more.
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 24 Sept 2026.
Each bar is one day’s change in the store’s own counter. Open VSX counts a download on every update, so a day includes updates by people who already had it. Days before 5 Sept are reconstructed from public archives rather than read by us.
Where Ada & SPARK ranks in search
Positions observed daily on both stores. Neither store publishes this, and the two run separate search engines over separate catalogues.
| Search | Marketplace | Open VSX |
|---|---|---|
| color-theme | #372of 18,210 | — |
| debuggers | #346of 1,519 | #320of 514↓3 7d |
6 more searches, day-by-day history, and the extensions ranked above it. See plans | ||
VS Code Marketplace search ranking: measuring jitter and real movement →
- Installs
- 93,631+0.7% 7d
- Rating
- 5.0from 11 ratings
- Rank in Extension Packs
- #105of 3,970
- Latest
- v2026.3.2026070516 Jul 2026
107 releases · first published Mar 2020
Why the Open VSX download count looks inflated →
- Downloads
- 38,283+1.4% 7d
- Rating
- 5.0from 2 reviews
- Rank in Extension Packs
- #23of 375
- Latest
- v24.0.625 Jun 2024
Downloads count every update, not unique installs.
What the publisher says
Ada & SPARK’s own readme, changelog and license, as published to the VS Code Marketplace.