Menu
Publisher

AdaCore

adacore

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions3Distinct extension identifiers across registries
Marketplace installs105KTotal from all extensions
Open VSX downloads52.7KTotal from all extensions

Extensions

VS Marketplace Sync: Open VSX Sync:
Extensions under adacore. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
ExtensionVS MarketplaceOpen VSX
Ada & SPARKadacore.ada
Installs
97,445+0.6% · 7d
Rating
★ 5.0
Category rank
#111 · Extension Packs
Latest
v2027.0.202610121 ·
Downloads
43,916+3.0% · 7d
Rating
★ 5.0
Category rank
#23 · Extension Packs
Latest
v2027.0.202610121 ·
Language Support for Ada (with debug info)adacore.ada-debug
Installs
7,5150.0% · 7d
Rating
—
Category rank
#548 · Extension Packs
Latest
v23.0.11 ·
Downloads
8,741+4.4% · 7d
Rating
—
Category rank
#78 · Extension Packs
Latest
v23.0.11 ·
Lkqladacore.lkql
Installs
6+20.0% · 7d
Rating
—
Category rank
>1,000 · Programming Languages
Latest
v0.0.2 ·
Not listed