Publisher
AdaCore
adacoreMarketplacepublisherVerifiedOpen VSXnamespace
Every public listing published under this name on the VS Code Marketplace and Open VSX. The same name on the two registries is shown together; each registry's numbers stay in their own column.
What a VS Code verified publisher badge means, compared with Open VSX →
- Marketplace installs
- 101,1302 listed
- Open VSX downloads
- 46,1692 listed · counts every update
- Extensions
- 2distinct publisher.name keys
Extensions
By Marketplace installs, then Open VSX downloads · Data as of 24 Sept 2026, 00:22 UTC
| Extension | MP Installs · 7d | OVSX Downloads · 7d | Rating | Category rank | Latest |
|---|---|---|---|---|---|
Ada & SPARKAdaCore.ada | 93,631+0.7% | 38,283+1.4% | MP5.0OVSX5.0 | MP#105of 3,970Extension Packs | v2026.3.2026070516 Jul 2026 |
Language Support for Ada (with debug info)AdaCore.ada-debug | 7,499+0.1% | 7,886+0.7% | MP—OVSX— | MP#510of 3,970Extension Packs | v23.0.1131 May 2024 |
Open VSX downloads count every update, so they are never added to or compared with Marketplace installs. Growth is the 7-day change as a percentage of the count a week earlier.