Menu
Publisher

Benjamin Driscoll

bdrisc

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.

Extensions1Distinct extension identifiers across registries
Marketplace installs460Total from all extensions
Open VSX downloads2.5KTotal from all extensions

Extensions

VS Marketplace Sync: Open VSX Sync:
Extensions under bdrisc. 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
Agdabdrisc.agda2-vscode
Installs
460+4.1% · 7d
Rating
—
Category rank
>1,000 · Programming Languages
Latest
v1.2.3 ·
Downloads
2,458+2.3% · 7d
Rating
—
Category rank
>1,000 · Programming Languages
Latest
v1.2.3 ·